13629 results in The Journal of Symbolic Logic
Annibale Pastore. La logica del potenziamento. With an appendix by Pietro Mosso. Collezione di studi filosofici, Serie teoretica, n. 5. Rondinella Alfredo, Naples1936, 318 pp. [Cf. 1612, 3051.]
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 28
- Print publication:
- March 1939
-
- Article
- Export citation
Olaf Helmer. Languages with expressions of infinite length. Erkenntnis, vol. 7 no. 3 (1938), pp. 138–141.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 25
- Print publication:
- March 1939
-
- Article
- Export citation
Jean Cavaillès. Méthode axiomatique et formalisme. I. Le problème du fondement des mathématiques. II. Axiomatique et système formel. III. La non-contradiction de l'arithmétique. Actualités scientifiques et industrielles 608-610. Hermann & Cie, Paris1938.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 32-33
- Print publication:
- March 1939
-
- Article
- Export citation
Note on a recent set of postulates for the calculus of propositions
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 10-14
- Print publication:
- March 1939
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-38
- Print publication:
- March 1939
-
- Article
- Export citation
Adolf Lindenbaum und Andrzej Mostowski. Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen. Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, Bd. 31 (1938), S. 27–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 30-31
- Print publication:
- March 1939
-
- Article
- Export citation
Harold Jeffreys. The nature of mathematics. Philosophy of science, vol. 5 (1938), pp. 434–451.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 29
- Print publication:
- March 1939
-
- Article
- Export citation
Wladyslaw Hetper. Rola schematów niezależnych w budowie systemu semantyki (Le rôle des schémas indépendants dans le système de la sémantique élémentaire). Archiwum Towarzystwa Nauhowego we Lwowie, t. 9 fasc. 5 (1938), p. 253–264.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-34
- Print publication:
- March 1939
-
- Article
- Export citation
Gerhard Gentzen. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. 19–44. S. Hirzel, Leipzig1938.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-32
- Print publication:
- March 1939
-
- Article
- Export citation
Wladyslaw Hetper. Relacje ancestralne w systemie semantyki (Relations ancestrales dans le système de la sémantique). Archiwum Towarzystwa Nauhowego we Lwowie, t. 9 fasc. 6 (1938), p. 265–281.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 34
- Print publication:
- March 1939
-
- Article
- Export citation
Alfred Tarski. Der Aussagenkalkül und die Topolagie. Fundamenta mathematicae, vol. 31 (1938), pp. 103–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 26-27
- Print publication:
- March 1939
-
- Article
- Export citation
M. H. Stone. The representation of Boolean algebras. Bulletin of the American Mathematical Society, vol. 44 (1938), pp. 807–816.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 35
- Print publication:
- March 1939
-
- Article
- Export citation
On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-9
- Print publication:
- March 1939
-
- Article
- Export citation
On the consistency of Quine's New foundations for mathematical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 15-24
- Print publication:
- March 1939
-
- Article
- Export citation
JSL volume 4 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
- Print publication:
- March 1939
-
- Article
-
- You have access
- Export citation
R. B. Braithwaite. Two ways of definition by verification. Erkenntnis, vol. 7 no. 4 (1938), pp. 281–287.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 36
- Print publication:
- March 1939
-
- Article
- Export citation
Fourth meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-40
- Print publication:
- March 1939
-
- Article
- Export citation
W. V. Quine. On the theory of types. The journal of symbolic logic, vol. 3 (1938), pp. 125–139.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 34
- Print publication:
- March 1939
-
- Article
- Export citation
Rudolf Carnap. Notes for symbolic logic. Mimeographed, unbound. The University of Chicago Bookstore, Chicago1937, 37 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-30
- Print publication:
- March 1939
-
- Article
- Export citation
Gr. C. Moisil. Les etapes de la connaissance mathématique. Revista de filosofie (Bucharest), no. 4, 11–Dec. 1937.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 28
- Print publication:
- March 1939
-
- Article
- Export citation