13629 results in The Journal of Symbolic Logic
Stanisław Jaśkowski. Rachunek zdań dla systemów dedukcyjnych sprzecznych (Un calcul des propositions pour les systèmes déductifs contradictoires). Studia Societaiis Scientiarum Torunensis, Sectio A, vol. 1 (1948), pp. 57–74. French summary, ibid., pp. 75–77.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 1 / 16 May 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
- Print publication:
- 16 May 1949
-
- Article
- Export citation
S. C. Kleene. On the intuitionistic logic. Library of the Xth International Congress of Philosophy (Amsterdam, August, 11–18, 1948). Vol. I. Proceedings of the Congress. Preprint 1948, pp. 185–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 1 / 16 May 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
- Print publication:
- 16 May 1949
-
- Article
- Export citation
A. Markov. O prédstavlénii rékursivnyh funkcij (On the representation of recursive functions). Doklady Akadémii Nauk SSSR, vol. 58 (1947), pp. 1891–1892.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 1 / 16 May 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- 16 May 1949
-
- Article
- Export citation
Arthur Francis Smullyan. Modality and description. The journal of symbolic logic, vol. 13 (1948), pp. 31–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
- Print publication:
- December 1948
-
- Article
- Export citation
Maurice Cornforth. Science versus idealism. An examination of ‘pure empiricism’ and modern logic. Lawrence and Wishart, London1946; International Publishers, New York 1947; 267 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
- Print publication:
- December 1948
-
- Article
- Export citation
P. S. Novikov. O logičéskih paradoksah (On logical paradoxes). Dohlady Akadémii Nauk SSSR, vol. 56 no. 5 (1947), pp. 451–453.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 170
- Print publication:
- December 1948
-
- Article
- Export citation
GR. C. Moisil. Sur la représentation des groupes abéliens infinis. I, IV. Académie Roumaine, Bulletin de la section scientifique, vol. 23 (1910–1911), pp. 358–361, and vol. 24 (1941–1942), pp. 79–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
- Print publication:
- December 1948
-
- Article
- Export citation
L. Geymonat. Le origini della metodologia moderna. Fondamenti logici della scienza, Francesco de Silva, Turin1947, pp. 1–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
- Print publication:
- December 1948
-
- Article
- Export citation
Herbert L. Searles. Logic and scientific methods. An introductory course. The Ronald Press Company, New York1948, xii + 326 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 144
- Print publication:
- December 1948
-
- Article
- Export citation
Proofs of non-deducibility in intuitionistic functional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-207
- Print publication:
- December 1948
-
- Article
- Export citation
R. L. Goodstein. Transfinite ordinals in recursive number theory. The journal of symbolic logic, vol. 12 (1947), pp. 123–129.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
- Print publication:
- December 1948
-
- Article
- Export citation
L. Geymonat. La crisi della logica formale.Fondamenti logici della scienza, Francesco de Silva, Turin1947, pp. 111–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
- Print publication:
- December 1948
-
- Article
- Export citation
Alfred Tarski. A problem concerning the notion of definability. The journal of symbolic logic, vol. 13 (1948), pp. 107–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
- Print publication:
- December 1948
-
- Article
- Export citation
Wanda Szmielew. On choices from finite sets. Fundamenta mathematicae, vol. 34 (1947), pp. 75–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
- Print publication:
- December 1948
-
- Article
- Export citation
Kurt Reidemeister. Anschauung als Erkenntnisquelle. Ebd., S. 197–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 154
- Print publication:
- December 1948
-
- Article
- Export citation
Robert Feys. Logique formalisee et philosophie. Synthese, vol. 6 (1947–1948), pp. 283–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
- Print publication:
- December 1948
-
- Article
- Export citation
E. P. Northrop. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Second edition, planographed. The University of Chicago Bookstore, Chicago1946, xi + 24 + 12 + 16 + 14 + 100 + 42 + 3 + 25 + 36 + 31 + 40 + 44 + 1 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 142-143
- Print publication:
- December 1948
-
- Article
- Export citation
Emil L. Post. Conjuntos recurrentemente numerables de enteros positivos y sus problemas de decisión. Spanish translation of X 18 by J. R. Fuentes. Revista matemática hispanoamericana, ser. 4 vol. 7 no. 5 (1947), pp. 187–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
- Print publication:
- December 1948
-
- Article
- Export citation
Victor Kraft. Logik und Erfahrung. Theoria, vol. 12 (1946), pp. 205–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
- Print publication:
- December 1948
-
- Article
- Export citation
Rudolf Carnap. Modalities and quantification. The journal of symbolic logic, vol. 11 (1946), pp. 33–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-219
- Print publication:
- December 1948
-
- Article
- Export citation