27 results
Anders Wedberg. Filosofins historia. Antiken och medeltiden. (History of philosophy. Ancient and medieval.) Bonniers, Stockholm1958, 197 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
- Print publication:
- September 1960
-
- Article
- Export citation
Sara Turing. Alan M. Turing. W. Heffer & Sons, Ltd., Cambridge1959, xiv + 157 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
- Print publication:
- June 1960
-
- Article
- Export citation
Ernest Nagel and James R. Newman. Gödei's proof. New York University Press, New York1958, ix + 118 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 222
- Print publication:
- September 1959
-
- Article
- Export citation
Robert Blanché. L'axiomatique. Presses Universitaires de France, Paris1955, title pages + 102 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 438-439
- Print publication:
- December 1958
-
- Article
- Export citation
John G. Kemeny. Undecidable problems of elementary number theory. Mathematische Annalen, vol. 135 (1958), pp. 160–169.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
- Print publication:
- September 1958
-
- Article
- Export citation
R. L. Goodstein. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1957, XII + 190 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
- Print publication:
- June 1958
-
- Article
- Export citation
E. W. Beth. Observations métamathématiques sur les structures simplement ordonnées. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 29–35. - A. Robinson and E. W. Beth. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, p. 35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 34-35
- Print publication:
- March 1958
-
- Article
- Export citation
Paul Lorenzen. Einführung in die operative Logik und Mathematik. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Göttingen-Heidelberg1955, VII + 298 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
- Print publication:
- September 1957
-
- Article
- Export citation
Karl Egil Aubert. Om presisering og generalisering av relasjonsbegrepet (An exact account and a generalization of the concept of relation). Norsk matematisk tidsskrift, vol. 30 (1948), pp. 33–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 3 / September 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
- Print publication:
- September 1955
-
- Article
- Export citation
Heinrich Behmann. Zu den Parallelreihentransformationen in Schröders “Algebra und Logik der Relative”.Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 2 (1951), pp. 52–62; also Archiv für Philosophie, vol. 4 no. 2 (1951), pp. 212–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 75
- Print publication:
- March 1955
-
- Article
- Export citation
A. Heyting. Sur la tâche de la philosophie des mathématiques. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 193–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
- Print publication:
- September 1954
-
- Article
- Export citation
G. Kreisel. Some remarks on the foundations of mathematics. An expository article. The mathematical gazette, vol. 35 (1951), pp. 23–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
- Print publication:
- March 1954
-
- Article
- Export citation
Andrzej Mostowski Correction to the paper “Some impredicative definitions in the axiomatic set-theory.”Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), p. 238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- December 1953
-
- Article
- Export citation
Konrad Marc-Wogau.. Modern logik. Elementär lärobok. (Modern logic. An elementary text-book.) Ehlins Handböcker, Stockholm 1950, 211 pp. [With separate sheet of Rättelser (Corrections).]
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1952
-
- Article
- Export citation
Andrzej Mostowski. Some impredicative definitions in the axiomatic set-theory. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 111–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
- Print publication:
- December 1951
-
- Article
- Export citation
I. L. Novak. A construction for models of consistent systems. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 87–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
- Print publication:
- December 1951
-
- Article
- Export citation
László Kalmár and János Surányi. On the decision problem. Third paper. Pepis prefix, a single binary predicate. The journal of symbolic logic, vol. 15 (1950), pp. 161–173.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
- Print publication:
- September 1951
-
- Article
- Export citation
J. Barkley Rosser and Hao Wang. Non-standard models for formal logics. The journal of symbolic logic, vol. 15 (1950), pp. 113–129. See Errata, ibid., p. iv.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 2 / June 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
- Print publication:
- June 1951
-
- Article
- Export citation
David Nelson. Constructible falsity. The journal of symbolic logic, vol. 14 (1949), pp. 16–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 15 / Issue 3 / September 1950
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
- Print publication:
- September 1950
-
- Article
- Export citation
Julia Robinson. Definability and decision problems in arithmetic. The journal of symbolic logic, Bd. 14 (1949), pp. 98–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 15 / Issue 1 / March 1950
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
- Print publication:
- March 1950
-
- Article
- Export citation