13629 results in The Journal of Symbolic Logic
S. C. Kleene. On notation for ordinal numbers. The journal of symbolic logic, Bd. 3 (1938), S. 150–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-94
- Print publication:
- June 1939
-
- Article
- Export citation
A system of strict implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-76
- Print publication:
- June 1939
-
- Article
- Export citation
Frederic B. Fitch. The consistency of the ramified Principia. The journal of symbolic logic, vol. 3 (1938), pp. 140–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
- Print publication:
- June 1939
-
- Article
- Export citation
Eugen Gh. Mihailescu. Recherches sur les formes normales par rapport à l'équivalence et la disjonction, dans le calcul des propositions. Annales scientifiques de l'Université de Jassy, première partie, t. 25 (1939), p. 73–152.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
- Print publication:
- June 1939
-
- Article
- Export citation
Katudi Ono. Logische Untersuchungen über die Grundlagen der Mathematik. Journal of the Faculty of Science, Imperial University of Tokyo, section I, vol. 3 part 7 (1938), pp. 329–389.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-90
- Print publication:
- June 1939
-
- Article
- Export citation
On the independence of the axioms of definiteness (Axiome der Bestimmtheit)
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-72
- Print publication:
- June 1939
-
- Article
- Export citation
An informal exposition of proofs of Gödel's theorems and Church's theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-60
- Print publication:
- June 1939
-
- Article
- Export citation
Robert Feys. Fondements et méthodes des mathématiques. Notes sur la réunion d'études de Zurich. Revue néoscolastique de philosophie, vol. 42 (1939), pp. 78–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
- Print publication:
- June 1939
-
- Article
- Export citation
Harald Nordenson. Kritische Bemerkungen zu den Grundlagen der Logistik. Adolf Phalén in memonam, Philosophical essays, Uppsala and Stockholm1937, pp. 486–545.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
- Print publication:
- June 1939
-
- Article
- Export citation
Józef Pepis. O zagadnieniu rozstrzygalności w zakresie wȩzszego rachunku funkcyjnego (Über das Entscheidungsproblem des engeren logischen Funktionenkalküls). Polnisch mit deutscher Zusammenfassung. Archiwum Towarzystwa Naukowego we Lwowie, Dział III, Bd. 7 H. 8 (1937), S. 1–172.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 93
- Print publication:
- June 1939
-
- Article
- Export citation
Arnold Schmidt. Über deduktive Theorien mit mehreren Sorten von Grunddingen. Mathematische Annalen, vol. 115 no. 4 (1938), pp. 485–506.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- Print publication:
- June 1939
-
- Article
- Export citation
M. H. Stone. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society, vol. 41 (1937). pp. 375–481.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
- Print publication:
- June 1939
-
- Article
- Export citation
Hans Hermes. Semiotik. Eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 5. S. Hirzel, Leipzig1938, 22 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- June 1939
-
- Article
- Export citation
A theorem on deducibility for second-order functions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-79
- Print publication:
- June 1939
-
- Article
- Export citation
S. Pankajam. On finite Boolean algebra. The mathematics student (Madras), vol. 6 (1938) pp. 105–119.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
- Print publication:
- June 1939
-
- Article
- Export citation
Definition by induction in quine's new foundations for mathematical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
- Print publication:
- June 1939
-
- Article
- Export citation
M. Barzin. Cours de logique. Polycopié. Desoer, Liége1937, deux tomes, 63 + 117 pages.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- June 1939
-
- Article
- Export citation
Symbols, signs, and signals
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-52
- Print publication:
- June 1939
-
- Article
- Export citation
C. G. Hempel. On the logical form of probability-statement. Erkenntnis, vol. 7 no. 3 (1938), pp. 154–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 26
- Print publication:
- March 1939
-
- Article
- Export citation
Andrzej Mostowski. Über den Begriff einer endlichen Menge. Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, Bd. 31 (1938), S. 13–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 1 / March 1939
- Published online by Cambridge University Press:
- 12 March 2014, p. 30
- Print publication:
- March 1939
-
- Article
- Export citation