13629 results in The Journal of Symbolic Logic
Emil L. Post. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 (1936), pp. 103–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 43
- Print publication:
- March 1937
-
- Article
- Export citation
Frederic Brenton Fitch. A system of formal logic without an analogue to the Curry W operator. The journal of symbolic logic, vol. 1 (1936), pp. 92–100.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-38
- Print publication:
- March 1937
-
- Article
- Export citation
W. V. Quine. Set-theoretic foundations for logic. The journal of symbolic logic, vol. 1 (1936), pp. 45–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
- Print publication:
- March 1937
-
- Article
- Export citation
Olaf Helmer. Perelman versus Gödel. Mind, vol. 46 (1937), pp. 58–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 48-49
- Print publication:
- March 1937
-
- Article
- Export citation
E. W. Beth. De significa van de pasigrafische systemen. Bijdrage tot de psychologie van het wiskurdig denkproces. (The signifies of pasigraphic systems. A contribution to the psychology of the mathematical thought process.) Euclides, vol. 13 (1936–1937), pp. 145–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-54
- Print publication:
- March 1937
-
- Article
- Export citation
Rudolf Carnap. Testability and meaning. Philosophy of science, vol. 3 (1936), pp. 419–471, and vol. 4 (1937), pp. 1–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-50
- Print publication:
- March 1937
-
- Article
- Export citation
M. Black. Truth-functions: a criticism. Analysis, vol. 4, no. 1 (1936), pp. 15–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
- Print publication:
- March 1937
-
- Article
- Export citation
Bertrand Russell. The limits of empiricism. Proceedings of the Aristotelian Society, n.s. vol. 36 (1936), pp. 131–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1937
-
- Article
- Export citation
Elections
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1937
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. iv
- Print publication:
- March 1937
-
- Article
-
- You have access
- Export citation
László Kalmár. Zurückführung des Enlscheidungsproblems auf den Fall von Formeln mil einer einzigen, binären, Funktionsvariablen. Compositio mathematica, vol. 4 no. 1 (1936), pp. 137–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 48
- Print publication:
- March 1937
-
- Article
- Export citation
H. B. Smith. The algebra of propositions. Philosophy of science, vol. 3 (1936), pp. 551–578.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-44
- Print publication:
- March 1937
-
- Article
- Export citation
Rózsa Péter. Über die mehrfache Rekursion. Mathematische Annalen, vol. 113 (1936), pp. 489–527.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
- Print publication:
- March 1937
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-62
- Print publication:
- March 1937
-
- Article
- Export citation
S. C. Kleene. λ-definability and recursiveness. Duke mathematical journal, Bd. 2 (1936), S. 340–353.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-39
- Print publication:
- March 1937
-
- Article
- Export citation
Emil J. Walter. Aufriss der Logistik. Vierteljahrsschrift der Naturforschenden Gesellschaft in Zürich, vol. 81 (1936), pp. 91–106.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 59
- Print publication:
- March 1937
-
- Article
- Export citation
Zygmunt Zawirski. Les rapports de la logique polyvalente avec le calcul des probabilités. Actes du Congrès International de Philosophie Scientifique, IV Induction et probabilité, Actualités scientifiques et industrielles 391, Hermann & Cie, Paris 1936, pp. 40–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
- Print publication:
- March 1937
-
- Article
- Export citation
A system of axiomatic set theory—Part I
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-77
- Print publication:
- March 1937
-
- Article
- Export citation
Eleanor Bisbee. Confusion about exclusive and exceptive propositions. The philosophical review, vol. 46 (1937), pp. 85–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 49
- Print publication:
- March 1937
-
- Article
- Export citation
J. C. C. McKinsey. On Boolean functions of many variables. Transactions of the American Mathematical Society, vol. 40 (1936), pp. 343–362.
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-59
- Print publication:
- March 1937
-
- Article
- Export citation