Articles
A system of axiomatic set theory—Part VI62
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-79
-
- Article
- Export citation
Practical forms of type theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-94
-
- Article
- Export citation
An extension of basic logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-106
-
- Article
- Export citation
A problem concerning the notion of definability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-111
-
- Article
- Export citation
Reviews
Reviews - Andrzej Mostowski. On definable sets of positive integers. Fundamenla mathematicae, vol. 34 (1946), pp. 81–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
Reviews - Raphael M. Robinson. Primitive recursive functions. Bulletin of the American Mathematical Society, Bd. 53 (1947), S 925–942.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
Reviews - R. Feys. Note complémentaire sur les méthodes de déduction naturelle. Revue philosophique de Louvain, Bd. 45 (1947), S. 60–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
Reviews - K. R. Popper. Logic without assumptions. Proceedings of the Aristotelian Society, n.s. vol. 47 (1946–1947), pp. 251–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
-
- Article
- Export citation
Reviews - Hao Wang. A note on Quine's principles of quantification. The journal of symbolic logic, vol. 12 (1947), pp. 130–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
-
- Article
- Export citation
Reviews - GR. C. Moisil. Sur la structure algébrique de la logique de M. Bochvar. Disquisitiones mathematicae et physicae (Bucharest), vol. 1 (1940–1941), pp. 307–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 116
-
- Article
- Export citation
Reviews - Kurt Gödel. What is Cantor's continuum problem?The American mathematical monthly, vol. 54 (1947), pp. 515–525.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-117
-
- Article
- Export citation
Reviews - Friedrich Waismann. Einführung in das mathematische Denken. Die Begriffsbildung der modernen Mathematik. Introduction by Karl Menger. Second edition. Gerold & Co., Vienna1947, VII + 168 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
Reviews - Grigore Constantin Moisil. L'algebra e la logica. Atti del Convegno Matematico, tenuto in Roma, 8–12 Nov. 1942, Reale Istituto Nazionale di Alta Matematica, Rome1945, pp. 143–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
Reviews - Jean-Louis Destouches. Cours de logique et philosophie générale. I. Méthodologie de la physique théorique moderne. II. Notions de logistique. (Notes by Marie-Thérèse Pasturaud and Jeannine Viard.) Centre de Documentation Universitaire, Paris1946, iv + 115 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-120
-
- Article
- Export citation
Reviews - Rudolf Carnap. On the application of inductive logic. Philosophy and phenomenological research, vol. 8 no. 1 (1947), pp. 133–148. - Nelson Goodman. On infirmities of confirmation-theory. Philosophy and phenomenological research, vol. 8 no. 1 (1947), pp. 149–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-121
-
- Article
- Export citation
Reviews - Rudolf Carnap. Reply to Nelson Goodman. Philosophy and phenomenological research, vol. 8 no. 3 (1948), pp. 461–462.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
-
- Article
- Export citation
Reviews - Gustav Bergmann. Undefined descriptive predicates. English with Spanish abstract. Philosophy and phenomenological research, vol. 8 no. 1 (1947), pp. 55–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
-
- Article
- Export citation
Reviews - Arthur F. Bentley. The new “semiotic.” English with Spanish abstract. Philosophy and phenomenological research, vol. 8 no. 1 (1947), pp. 107–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
-
- Article
- Export citation
Reviews - Anders Wedberg. Den nya logiken (The new logic). Studentföreningen verdandis småskrifter nos. 477, 478. Part I, 61 pp., and Part II, 71 pp.; Albert Bonniers Förlag, Stockholm1945.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
-
- Article
- Export citation
Reviews - Anders Wedberg. Johdatus nykyiseen logiikkaan (Introduction to modern logic). Finnish translation of the foregoing by Otso Aalto, with a preface by Eino Kaila. Kustannusosakeyhtiö Otava, Helsinki1947, 150 pp. - Dimitri Riabouchinsky. Sur les nombres d'origine imaginaire et la notion de signe d'un nombre complexe. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 225 (1947), pp. 1104–1106. See Errata, ibid., vol. 226 (1948), p. 136.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
-
- Article
- Export citation