York. 2019. ISBN 978-1-138-50086-0. 查看维基词典中的词条「有效性」。 Barwise, Jon; Etchemendy, John. Language, Proof and Logic (1999): 42. Beer, Francis A. "Validities:
∀符号是后来发明的,它是格哈德·根岑在1935年模仿皮亚诺的∃符号而发明。 自由变量和约束变量 句子 (数理逻辑) Jon Barwise and JohnEtchemendy, 2000. Language Proof and Logic. CSLI (University of Chicago Press)
of Philosophy>. [2020-11-26]. (原始内容存档于2021-10-29). Barwise, Jon; Etchemendy, John. The Liar: An Essay on Truth and Circularity. New York: Oxford University