13629 results in The Journal of Symbolic Logic
Proof of the independence of the primitive symbols of Heyting's calculus of propositions
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-158
- Print publication:
- December 1939
-
- Article
- Export citation
The hypothesis that infinite classes are similar
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-162
- Print publication:
- December 1939
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-175
- Print publication:
- December 1939
-
- Article
- Export citation
Berkley Rosser. An informal exposition of proofs of Gödel's theorems and Church's theorem. The journal of symbolic logic, vol. 4 (1939), pp. 53–60. See errata, Berkley Rosser. An informal exposition of proofs of Gödel's theorems and Church's theorem. The journal of symbolic logic, vol. 4 (1939), p. iv.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
- Print publication:
- December 1939
-
- Article
- Export citation
Institutional contributing subscribers to the Journal of Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
- Print publication:
- December 1939
-
- Article
- Export citation
Kurt Grelling. A logical theory of dependence. Ditto, 9 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
- Print publication:
- December 1939
-
- Article
- Export citation
Gr. C. Moisil. Recherches sur le syllogisme. Annales scientifiques de l'Université de Jassy, vol. 25 (1939), pp. 341–384.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
- Print publication:
- December 1939
-
- Article
- Export citation
Gr. C. Moisil. Sur la structure algébrique du calcul des propositions. Bulletin mathématique de la Société Roumaine des Sciences, vol. 40 (1938), pp. 229–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
- Print publication:
- December 1939
-
- Article
- Export citation
J. R. Kantor. The róle of language in logic and science. The journal of philosophy, vol. 35 (1938), pp. 449–463.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
- Print publication:
- December 1939
-
- Article
- Export citation
Barkley Rosser. The introduction of quantification into a three-valued logic. Ditto, 6 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 170
- Print publication:
- December 1939
-
- Article
- Export citation
O. V. Zich. Výrokový počet s komplexními hodnotami (Sentential calculus with complex values). Česká mysl, vol. 34 (1938), pp. 189–196.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- December 1939
-
- Article
- Export citation
A. C. Benjamin. Some realistic implications of operationalism. Ditto, 4 pp. - Donald C. Williams. Designation and empirical certainty. Ditto, 5 pp. - Ernest Nagel. Charles S. Peirce, pioneer of modern empiricism. Ditto, 3 pp. - Friedrich Waismann. Zu: Ist die Logik eine deduktive Wissenschaft?Erkenntnis, vol. 7 no. 5/6 (1939), pp. 374–375.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
- Print publication:
- December 1939
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. iv
- Print publication:
- December 1939
-
- Article
- Export citation
Index of reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 4 / December 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-194
- Print publication:
- December 1939
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 3 / September 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
- Print publication:
- September 1939
-
- Article
- Export citation
JSL volume 4 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 3 / September 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
- Print publication:
- September 1939
-
- Article
-
- You have access
- Export citation
H. B. Curry. A note on the reduction of Gentzen's calculus LJ. Bulletin of the American Mathematical Society, Bd. 45 (1939), S. 288–293.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 3 / September 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- September 1939
-
- Article
- Export citation
Saunders Mac Lane. Symbolic logic. The American mathematical monthly, vol. 46 (1939), pp. 289–296.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 3 / September 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
- Print publication:
- September 1939
-
- Article
- Export citation
Benedykt Bornstein. Geometrical logic. The structures of thought and space. Bibliotheca Universitatis Liberae Polonae, ser. B, no. 8 (31). Wolna Wszechnica Polska, Warsaw1939, 114 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 3 / September 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- September 1939
-
- Article
- Export citation
László Kalmár. On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate. The journal of symbolic logic, Bd. 4 (1939), S. 1–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 3 / September 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
- Print publication:
- September 1939
-
- Article
- Export citation