8 results
Steven Orey. Formal development of ordinal number theory. The journal of symbolic logic, vol. 20 (1955), pp. 95–104. - Steven Orey. On the relative consistency of set theory. The journal of symbolic logic, vol. 21 (1956), pp. 280–290.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-42
- Print publication:
- March 1958
-
- Article
- Export citation
On the consistency of an axiom of enumerability
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-30
- Print publication:
- March 1955
-
- Article
- Export citation
John Myhill. The hypothesis that all classes are nameable. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 979–981.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
- Print publication:
- March 1955
-
- Article
- Export citation
A partial model for Quine's “New foundations”
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-200
- Print publication:
- September 1954
-
- Article
- Export citation
Moh Shaw-Kwei. A note on the theory of quantification. The journal of symbolic logic, vol. 17 (1952), pp. 243–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
- Print publication:
- June 1953
-
- Article
- Export citation
J. Barkley Rosser. The axiom of infinity in Quine's New foundations. The journal of symbolic logic, vol. 17 (1952), pp. 238–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- June 1953
-
- Article
- Export citation
W. V. Quine. On the consistency of “New foundations.”Proceedings of the National Academy of Sciences of the United States of America, vol. 37 (1951), pp. 538–540.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 3 / September 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 212
- Print publication:
- September 1952
-
- Article
- Export citation
Willard van Orman Quine. Mathematical logic. Revised edition. Harvard University Press, Cambridge, Mass., 1951, xii + 346 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 2 / June 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
- Print publication:
- June 1952
-
- Article
- Export citation