13629 results in The Journal of Symbolic Logic
Paul Bernays. A system of axiomatic set theory—Part VI. The journal of symbolic logic, vol. 13 (1948), pp 65–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
- Print publication:
- December 1948
-
- Article
- Export citation
E. Perbico. Analisi del determinismo fisicoFondamenti logici della scienza, Francesco de Silva, Turin1947, pp. 25–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
- Print publication:
- December 1948
-
- Article
- Export citation
J. C. C. McKinsey and Alfred Tarski. Some theorems about the sentential calculi of Lewis and Heyting. The journal of symbolic logic, vol. 13 (1948), pp. 1–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
- Print publication:
- December 1948
-
- Article
- Export citation
John G. Kemeny. Models of logical systems. The journal of symbolic logic, Bd. 13 (1948), S. 16–30.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-156
- Print publication:
- December 1948
-
- Article
- Export citation
Leon Brunschvicg. Les étapes de la philosophie mathématique. 3rd edn. of 2172. Presses Universitaires de France, Paris1947, 592 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 216
- Print publication:
- December 1948
-
- Article
- Export citation
F. S. C. Northrop. The neurological and behavioristic psychological basis of the ordering of society by means of ideas. Science, vol. 107 (1948), pp. 411–417.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
- Print publication:
- December 1948
-
- Article
- Export citation
Jerzy Slupecki. Uwagi o sylogistyce Arystolelesa (Les remarques sur la syllogistique d'Arislote). Polish with French abstract. Annates Universitatis Mariae Curie-Sklodowska (Lublin), vol. 1 no. 3 sectio F (1946), pp. 187–191.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
- Print publication:
- December 1948
-
- Article
- Export citation
Bertrand Russell. Introducción a la filosofia matemática. Spanish translation of 11126 (3rd edn.) by Juan B. Molinari, with notes by Florencio D. Jaime. Editorial Losada, Buenos Aires1945, 287 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- December 1948
-
- Article
- Export citation
Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-192
- Print publication:
- December 1948
-
- Article
- Export citation
E. W. Beth. Natuurphilosophie (Natural philosophy). Noorduijn's wetenschappelijke reeks, no. 30. J. Noorduijn en Zoon, Gorinchem1948, 230 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 4 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
- Print publication:
- December 1948
-
- Article
- Export citation
I. M. Bocheński. Zespól definicji do metalogicznego wykladu sylogistyki tradycyjnej (Syslema definitionum pro metalogica expositione syllogisticae traditionalis). Polski przegląd tomistyczny, vol. 1 (1939), pp. 104–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
- Print publication:
- December 1948
-
- Article
- Export citation
Contextual definitions in nonextensional languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
- Print publication:
- December 1948
-
- Article
- Export citation
Laurence J. Lafleur. Ambiguities in the Schröder-Bernstein theorem. Scripta mathematica, vol. 13 no. 3–4 (for 1947, pub. 1948), pp. 169–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 158
- Print publication:
- December 1948
-
- Article
- Export citation
Arnaud Denjoy. L'énumération transfinie. Livre I. La notion de rang.Gauthier-Villars, Paris1946, xxxvii + 200 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
Paulette Destouches-Février. Esquisse d'une Mathématique intuitioniste positive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 225 (1947), pp. 1241–1243.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
- Print publication:
- December 1948
-
- Article
- Export citation
Einar Hoff-Hansen. En matematisk tolkning av den klassiske utsagnsregning (A mathematical interpretation of the classical prepositional calculus). Norsk matematisk tidsskrift, vol. 25 (1943), pp. 6–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
- Print publication:
- December 1948
-
- Article
- Export citation
E. W. Beth. Semantical considerations on intuitionistic mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1246–1251, and ibid., pp. 572–577.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
- Print publication:
- December 1948
-
- Article
- Export citation
JSL volume 13 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1948
-
- Article
-
- You have access
- Export citation
Th. Skolem. Den rekursive aritmetikk (Recursive arithmetic). Norsk matematisk tidsskrift, vol. 28 (1946), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
- Print publication:
- December 1948
-
- Article
- Export citation
Jerzy Loś. Próba aksjomatyzacji logiki tradycyjnej (Une preuve d'axiomatisation de la logique traditionelle). Polish with French abstract. Annates Universitatis Mariae Curie-Sklodowska (Lublin), vol. 1 no. 3 sectio F (1946), pp. 211–228.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
- Print publication:
- December 1948
-
- Article
- Export citation