Contents
Reviews
Robert Feys. Peano et Burali-Forti précurseurs de la logique combinatoire. 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. 70–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
-
- Article
- Export citation
Alan Rose. A formalisation of the 2-valued propositional calculus with self-dual primitives. Mathematische Annalen, vol. 127 (1954), pp. 255–257.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
S. Issmann. Une méthode de décision pour certaines formules du calcul des prédicats. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, und Éditions E. Nauwelaerts, Louvain 1953, S. 35–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
-
- Article
- Export citation
Hugo Fischer. Zum Problem der Übertragung mathetischer Prinzipien: Die “Allgemeine Semantik.” Eine nichtaristotelische Wertungslehre Alfred Korzybskis. Studium generale, vol. 6 (1953), pp. 361–368.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
-
- Article
- Export citation
Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System). Mathematische Zeitschrift, vol. 55 (1952), pp. 364–384. - Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 (1953), pp. 155–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
-
- Article
- Export citation
Paul F. Linke. Was ist Logik?Zeitschrift für philosophische Forschung, vol. 6 (1951–1952), pp. 372–398.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
-
- Article
- Export citation
Heinrich Sauer. Über die logischen Forschungen von Leibniz. Gottfried Wilheltn Leibniz (Vorträge der aus Anlass seines 300. Geburtstages in Hamburg abgehaltenen wissenschaftlichen Tagung, herausgegeben von der Redaktion der Hamburger Akademischen Rundschau), Hansischer Gildenverlag, Hamburg1946, pp. 46–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
-
- Article
- Export citation
G. F. C. Griss. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 (1950), pp. 456–463, and series A, vol. 54 (1951), pp. 193–199, 452–471; also Indagationes mathematicae, vol. 12 (1950), pp. 108–115, and vol. 13 (1951), pp. 193–199, 452–471.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
Paul Lorenzen. Die ontologische und die operative Auffassung der Logik. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 12–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
-
- Article
- Export citation
Raymond L. Wilder. Introduction to the foundations of mathematics. John Wiley & Sons, New York1952, xiv + 305 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-227
-
- Article
- Export citation
Jonathan Cohen. On the project of a universal character. Mind, n.s. vol. 63 (1954), pp. 49–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
-
- Article
- Export citation
G. H. von Wright. A new system of modal logic. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 59–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
N. A. Šanin. O nékotoryh opéraciáh nad logiko-arifmétičéskimi formulami (Some operations on logico-arithmetical formulas). Doklady Akadémii Nauk SSSR, vol.93 (1953), pp. 779–782. - N. A. Šanin. O pogružéniáh klassičéskogo logiko-arifmétičéskogo isčisléniá v konstruktivnoé logiko-arifmétičéskoé isčislénié (On imbeddings of the classical logico-arithmetical calculus into the constructive logico-arithmetical calculus). Doklady Akadémii Nauk SSSR, vol. 94 (1954), pp. 193–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
A. N. Prior. The paradoxes of derived obligation. Mind, n.s. vol. 63 (1954), pp. 64–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
-
- Article
- Export citation
Karl Menger. The ideas of variable and function. Proceedings of the National Academy of Sciences of the United States of America, vol. 39 (1953), pp. 956–961.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 227
-
- Article
- Export citation
Karl Menger. Calculus. A modern approach. Second, enlarged edition, mimeographed. The Bookstore, Illinois Institute of Technology, Chicago1953, title page + xxiii + 1 + 303 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-229
-
- Article
- Export citation
Andrea Galimberti. L'analyse linguistique de la représentation. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 139–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
Paul Lorenzen. Über das Prinzip “ex falso quodlibet.”Methodos, Bd. 3 (1951), S. 43–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
-
- Article
- Export citation
G. H. von Wright. On the logic of some axiological and epistemological concepts. Ajatus (Helsinki), vol. 17 (1952), pp. 213–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
-
- Article
- Export citation