Reviews
Roman Suszko. W sprawie logiki bez aksjomatów (Concerning logic without axioms). Kwartalnik filozoficzny, vol. 17 (1948), pp. 199–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
A. A. Markov. O prédstavlènii rékursivnyh funkcij (On the representation of recursive functions). Izvéstiá Akadémii Nauk SSSR, Sériá matématičeskaá, vol. 13 (1949), pp. 417–424.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
Alfons Borgers. Het natuurlijke getal (The natural number). Simon Stevin (Groningen-Batavia-Ghent), vol. 26 (1948–1949), pp. 32–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
Ernst Specker. Nicht konstruktiv beweisbare Sätze der Analysis. The journal of symbolic logic, Bd. 14 (1949), S. 145–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
-
- Article
- Export citation
Leon Henkin. The completeness of the first-order functional calculus. The journal of symbolic logic, Bd. 14 (1949), 159–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
-
- Article
- Export citation
Julia Robinson. Definability and decision problems in arithmetic. The journal of symbolic logic, Bd. 14 (1949), pp. 98–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
-
- Article
- Export citation
Nathan P. Levin. Computational logic. The journal of symbolic logic, Bd. 14 (1949), pp. 167–172.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
Z. P. Dienes. On an implication function in many-valued systems of logic. The journal of symbolic logic, Bd. 14 (1949), pp. 95–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
-
- Article
- Export citation
Sören Halldén. Results concerning the decision problem of Lewis's calculi S3 and S6. The journal of symbolic logic, Bd. 14 (1949), pp. 230–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
Sören Halldén. An analogy in modal logic to the Lesniewski-Mihailescu theorem. Norsk matematisk tidsskrift, vol. 31 (1949), pp. 4–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
Hao Wang. On Zermelo's and von Neumann's axioms for set theory. Proceedings of the National Academy of Sciences of the United States of America, vol. 35 (1949), pp. 150–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
-
- Article
- Export citation
R. L. Goodstein. Proof by reductio ad absurdum. The mathematical gazette, vol. 32 (1948), pp. 198–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
-
- Article
- Export citation
Karl Egil Aubert. Relations généralisées et indépendence logique des notions de réflexivité, symétrie et transitivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 229 (1949), pp. 284–286.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
-
- Article
- Export citation
Robert Feys. A simple notation for relations. Methodos (Milan), vol. 1 no. 1 (1949), pp. 79–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
-
- Article
- Export citation
E. W. Beth. Symbolische Logik und Grundlegung der exakten Wissenschaften. Bibliographische Einführungen in das Studium der Philosophie, herausgegeben von I. M. Bocheński, Bern1948, 28 pp. - Karl Dürr. Der logische Positivismus. Bibliographische Einführungen in das Studium der Philosophie, herausgegeben von I. M. Bocheński, no. 11. Bern1948, 24 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
-
- Article
- Export citation
Virgil G. HinshawJr. Epistemological relativism and the sociology of knowledge. Philosophy of science, vol. 15 (1948), pp. 4–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
-
- Article
- Export citation
Herman Meyer. Kennis en realiteit (Knowledge and reality). Philosophische Bibliotheek, ed. by J. Clay. Uitgeversmaatschappij W. De Haan, Utrecht1949, 307 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Guido Calogero. Lezioni di filosofia. Volume primo. Logica, gnoseologia, ontologia. Giulio Einaudi, Turin1948, IX + 278 pp. - Guido Calogero. Lezioni di filosofia. Volume terzo. Estetica, semanlica, istorica. Giulio Einaudi, Turin1947, IX + 392 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Arne Næss. Interpretation and preciseness. II. Mimeographed. Oslo1948, 57 pp. - Arne Næss. Interpretation and preciseness. III. “To define” and to make precise. IV. Misinterpretation and pseudoagreement. Mimeographed. Universitetets Studentkontor, Oslo1948, 39 + 21 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
-
- Article
- Export citation
W. H. Werkmeister. The basis and structure of knowledge. Harper and Brothers, New York1948, xi + 451 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation