13629 results in The Journal of Symbolic Logic
Władysław Hetper. Dowód niesprzeczności systemu elementarnej semantyki bez indukeji (Proof of consistency of the system of elementary semantics without induction). Sórawozdania Towarzystwa Naukowego we Lwouwie, vol. 17 (1937), p. 250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- June 1940
-
- Article
- Export citation
M. Lazerowitz. Self-contradictory propositions. Philosophy of science, vol. 7 (1940), pp. 229–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
- Print publication:
- June 1940
-
- Article
- Export citation
F. Gonseth. Philosophie mathématique. Actualités scientifiques et industrielles 837. Hermann et Cie, Paris1939, 100 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
- Print publication:
- June 1940
-
- Article
- Export citation
Zygmunt Zawirski. Donioslośč badań logicznych i semantycznych dla teorii fizyki wspólczesnej (Importance des recherches logiques et sémantiques pour les théories de la physique contemporaine). Przegląd filozoficzny, vol. 41 (1938), pp. 25–30.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
- Print publication:
- June 1940
-
- Article
- Export citation
Alpinolo Natucci. Saggio di una classifica dei metodi usati nell'aritmetica generale. Atti del Primo Congresso dell' Unione Matematica Italiana tenuto in Firenze nei giorni 1-2-3 aprile 1937-XV, Nicola Zanichelli, Bologna1938, pp. 512–520.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
- Print publication:
- June 1940
-
- Article
- Export citation
Wilhelm Ackermann. Bemerkungen zu den logisch-mathematischen Grundlagen-problemen. Philosophie mathematique, by F. Gonseth, Actualités scientifiques et induatrielles 837, Hermann et Cie, Paris1939, pp. 76–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
- Print publication:
- June 1940
-
- Article
- Export citation
C. J. Ducasse. Symbols, signs, and signals. The journal of symbolic logic, vol. 4 (1939), pp. 41–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-80
- Print publication:
- June 1940
-
- Article
- Export citation
Thomas Greenwood. Les fondements de la logique symbolique. 1 Critique du nominalisme logistique. 2 Justification des calculs logiques. Actualités scientifiques et industrielles 588, 593. Hermann & Cie, Paris1938, 145 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
- Print publication:
- June 1940
-
- Article
- Export citation
Sylvester Hartman. Are there any extra-syllogistic forms of reasoning?Proceedings of The American Catholic Philosophical Association, vol. 15 (pub. 1940), pp. 235–241.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
- Print publication:
- June 1940
-
- Article
- Export citation
J. R. Kantor. Postulates for a logic of specificity. The journal of philosophy, vol. 37 (1940), pp. 29–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 75
- Print publication:
- June 1940
-
- Article
- Export citation
Walter Bröcker. Antinomien und Paradoxien in der Logik. Blätter für deutsche Philosophie, vol. 12 (1938–1939), pp. 365–368.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 79
- Print publication:
- June 1940
-
- Article
- Export citation
Rózsa Péter. Contribution to recursive number theory. Acta litterarum ac scientiarum Regiae Universitatis Hungaricae Francisco-Iosephinae, Sectio scientiarum mathematicarum, vol. 9 no. 4 (1940), pp. 233–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
- Print publication:
- June 1940
-
- Article
- Export citation
I. Žégalkin (I. Gégalkine). K problémé razréšimosti (Sur l'Entscheidungsproblem). Matématičéskij sbornik (Recueil mathématique), n. s. vol. 6 no. 2 (1939), pp. 185–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- June 1940
-
- Article
- Export citation
JSL volume 5 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
- Print publication:
- June 1940
-
- Article
-
- You have access
- Export citation
Alonzo Church. The present situation in the foundation of mathematics. Philosophie mathematique, by F. Gonseth, Actualités scientifiques et induatrielles 837, Hermann et Cie, Paris1939, pp. 67–72.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
- Print publication:
- June 1940
-
- Article
- Export citation
Stanisław Leśniewski. Grundzuge eines neiten Systems der Grundlagen der Mathematik §12. Proceedings of the Aristotelian Society, vol. 38 (1937–1938), offprint 1939, pp. 61–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- June 1940
-
- Article
- Export citation
The calculus of individuals and its uses1
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-55
- Print publication:
- June 1940
-
- Article
- Export citation
Richard Robinson. What is independence?. The philosophical review, vol. 49 (1940), pp. 355–356.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
- Print publication:
- June 1940
-
- Article
- Export citation
Karl H. Niebyl. Modern mathematics and some problems of quantity, quality, and and motion in economic analysis. Philosophy of science, vol. 7 (1940), pp. 103–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
- Print publication:
- June 1940
-
- Article
- Export citation
A formulation of the simple theory of types
-
- Journal:
- The Journal of Symbolic Logic / Volume 5 / Issue 2 / June 1940
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-68
- Print publication:
- June 1940
-
- Article
- Export citation