Systems of Combinatory Logic Related to Quine's 'New Foundations'
暂无分享,去创建一个
[1] C. Ward Henson. Permutation Methods Applied to Quine's "New Foundations" , 1973, J. Symb. Log..
[2] Willard Van Orman Quine,et al. New Foundations for Mathematical Logic , 1937 .
[3] R. Jensen. On the Consistency of a Slight (?) Modification of Quine’s New Foundations , 1968 .
[4] Maurice Boffa,et al. The Consistency Problem for NF , 1977, J. Symb. Log..
[5] J. Barkley Rosser,et al. Logic for mathematicians , 1978 .
[6] W. V. Quine. On Ordered Pairs , 1945, J. Symb. Log..
[7] E. Specker. The Axiom of Choice in Quine's New Foundations for Mathematical Logic. , 1953, Proceedings of the National Academy of Sciences of the United States of America.
[8] C. Ward Henson. Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations" , 1973, J. Symb. Log..
[9] J. Girard,et al. Proofs and types , 1989 .
[10] Willard Van Orman Quine. Mathematical Logic: Revised Edition , 1982 .
[11] Dana S. Scott,et al. Quine's Individuals , 1966 .