Contents
Reviews
G. T. Kneebone. Mathematical formalisms and their realizations. Philosophy, vol. 27 (1952), pp. 138–147.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
G. Kreisel. On the interpretation of non-finitist proofs. The journal of symbolic logic, vol. 16 (1951), pp. 241–267, and vol. 17 (1952), pp. 43–58. See Erratum, ibid., vol. 17, p. iv. - G. Kreisel. Some elementary inequalities. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 (1952), pp. 334–338; also Indagationes mathematicae, vol. 14 (1942), pp. 334–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
-
- Article
- Export citation
Other
Fifteenth meeting of the association for symbolic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Reviews
Burton Dreben. On the completeness of quantification theory. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 1047–1052.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
-
- Article
- Export citation
Haskell B. Curry. Outlines of a formalist philosophy of mathematics. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1951, VIII + 75 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
-
- Article
- Export citation
Other
Abstracts of papers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-192
-
- Article
- Export citation
Reviews
H. Rasiowa and R. Sikorski. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 230–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
-
- Article
- Export citation
Henry Margenau. The nature of physical reality. A philosophy of modern physics. McGraw-Hill Book Company, New York - Toronto - London1950, xiii + 479 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
-
- Article
- Export citation
A. A. Markov. Téoriá algorifmov (The theory of algorithms). Trudy Matématičéskogo Institute iméni V. A. Stéklova, vol. 38 (1951), pp. 176–189.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
-
- Article
- Export citation
Other
Elections
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Reviews
I. M. Bocheński. Ancient formal logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1951, VII + 1 + 122 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
-
- Article
- Export citation
A. D. Aléksandrov. Léninskaá dialéktika i matématika (Leninist dialectic and mathematics). Priroda (Leningrad), no. 1 (1951), pp. 5–15. - A. D. Aléksandrov. Ob idéalizmé v matématiké (On idealism in mathematics). Priroda, no. 7 (1951), pp. 3–11, and no. 8 (1951), pp. 3–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
-
- Article
- Export citation
Other
Notice of a meeting of the association for symbolic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Reviews
Max Bense. Die Philosophie. Zwischen den Beiden Kriegen, Bd. I. Suhrkamp Verlag, Frankfurt am Main1951, 470 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 82
-
- Article
- Export citation
A. A. Markov. O nérazréšmyh algorifmičéskih problémah (On unsolvable algorithmic problems). Matématičéskij sbornik, n.s. vol. 31 (1952), pp. 34–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
-
- Article
- Export citation
Alexander Philipov. Logic and dialectic in the Soviet Union. With a foreword by Ernest Nagel. Studies on the U.S.S.R. No. 1. Lithoprinted. Research Program on the U.S.S.R. (East European Fund, Inc.), New York1952, xi + 89 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
-
- Article
- Export citation
Martin Davis. Arithmetical problems and recursively enumerable predicates. The journal of symbolic logic, vol. 18 (1953), pp. 33–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
-
- Article
- Export citation
Ulrich Klug. Zur Lehre von den Kontrapositionsschlüssen. Zeitschrift für philosophische Forschung, vol. 3 (1948–1949), pp. 1–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- Article
- Export citation
Front matter
JSL volume 18 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Die philosophische Konferenz in Jena. Fruchtbare wissenschaftliche Diskussion über Probleme der formalen und mathematischen Logik und des dialektischen Materialismus. Neues Deutschland (Berlin), vol. 6 no. 276 (11. 28, 1951), Ausgabe A, p. 4.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
-
- Article
- Export citation