16 results
John Tucker. The formalisation of set theory. Mind, n.s. vol. 72 (1963), pp. 500–518.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 676-677
- Print publication:
- December 1966
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
- Print publication:
- March 1966
-
- Article
- Export citation
Richard M. Martin. Intension and decision. A philosophical study.Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1963, xv + 159 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-102
- Print publication:
- March 1966
-
- Article
- Export citation
Theories incomparable with respect to relative interpretability
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-211
- Print publication:
- June 1962
-
- Article
- Export citation
Hempel and Oppenheim on Explanation
-
- Journal:
- Philosophy of Science / Volume 28 / Issue 4 / October 1961
- Published online by Cambridge University Press:
- 14 March 2022, pp. 418-428
- Print publication:
- October 1961
-
- Article
- Export citation
Herbert A. Simon. Definable terms and primitives in axiom systems. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957—January 4, 1958. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1959, pp. 443–453.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
- Print publication:
- December 1960
-
- Article
- Export citation
R. M. Martin. On inscriptions. Philosophy and phenomenological research, vol. 11 (1951), pp. 535–540.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-85
- Print publication:
- March 1960
-
- Article
- Export citation
Hugues Leblanc. On logically false evidence statements. The journal of symbolic logic, vol. 22 no. 4 (for 1957, pub. 1958), pp. 345–349.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
- Print publication:
- March 1960
-
- Article
- Export citation
Hugues Leblanc. Évidence logique et degré de confirmation. Revue philosophique de Louvain, vol. 52 (1954), pp. 619–625.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 86
- Print publication:
- March 1960
-
- Article
- Export citation
R. M. Martin. On inscriptions and concatenation. Philosophy and phenomenological research, vol. 12 (1952), pp. 418–421.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
- Print publication:
- March 1960
-
- Article
- Export citation
R. M. Martin. Truth ઈ denotation. A study in semantical theory. The University of Chicago Press, Chicago1958; the University of Toronto Press, Toronto 1958; Routledge & Kegan Paul Ltd., London 1958; xii + 304 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-219
- Print publication:
- September 1959
-
- Article
- Export citation
Hao Wang. Truth definitions and consistency proofs. Transactions of the American Mathematical Society, vol. 73 (1952), pp. 243–275.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-367
- Print publication:
- December 1957
-
- Article
- Export citation
Hao Wang. Between number theory and set theory. Mathematische Annalen, vol. 126 (1953), pp. 385–409.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
- Print publication:
- March 1957
-
- Article
- Export citation
Hao Wang. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 (1951), pp. 283–293.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-403
- Print publication:
- December 1956
-
- Article
- Export citation
On the definition of ‘formal deduction’1
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-136
- Print publication:
- June 1956
-
- Article
- Export citation
On the paradox of grounded classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
- Print publication:
- June 1955
-
- Article
- Export citation