Contents
Reviews
Hao Wang. On formalization. Mind, n.s. vol. 64 (1955), pp. 226–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
-
- Article
- Export citation
S. Körner. Individuals and properties. Mind, n.s. vol. 63 (1954), pp. 380–383.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 208-209
-
- Article
- Export citation
Veli Valpola. Ein System der negationslosen Logik mit ausschliesslich realisierbaren Prädikaten. Acta philosophica Fennica, no. 9. Helsinki1955, 247 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
-
- Article
- Export citation
V. A. Uspénskij. O vyčislimyh opéraciáh (On calculable operations). Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 773–776.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
Hao Wang. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 57–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
-
- Article
- Export citation
A. A. Markov. Téoriá algorifmov (Theory of algorithms). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 42. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1954, 375 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-79
-
- Article
- Export citation
Sören Halldén. Emotive propositions. A study of value. Almqvist & Wiksell, Stockholm1954, 232 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-210
-
- Article
- Export citation
Klaus Härtig. Explizite Definitionen einiger Eigenschaften von Zeichenreihen. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, Bd. 2 (1956), S. 177–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
-
- Article
- Export citation
D. W. Hamlyn. Analytic truths. Mind, n.s. vol. 65 (1956), pp. 359–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 210
-
- Article
- Export citation
J. Barkley Rosser. Logique combinatoire et λ-conversion. Deux esquisses de logique, Gauthier-Villars, Paris1953, pp. 3–31. - J. Barkley Rosser. Les modulès des logiques formelles. Deux esquisses de logique, Gauthier-Villars, Paris1953, pp. 33–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
Vladimir Devidé. Ein Axiomensystem für die natürlichen Zahlen. Archiv der Mathetnatik, vol. 6 (1955), pp. 408–412.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
-
- Article
- Export citation
N. A. Šanin. O nékotoryh logičéskih problémah arifmétiki (On some logical problems of arithmetic). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 43. Izdatél'stvo Akadémii Nauk SSSR, Moscow1955, pp. 112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 79
-
- Article
- Export citation
Bolesław Sobociński. On well constructed axiom systems, Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie (London), vol. 6 (for 1955–6, pub. 1956), pp. 54–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
-
- Article
- Export citation
Shôji Maehara. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 (1954), pp. 45–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-80
-
- Article
- Export citation
J. Barkley Rosser. The relative strength of Zermelo's set theory and Quine's New Foundations. Proceedings of the International Congress of Mathematicians 1954, Amsterdam, September 2-September 9, Volume III, 1956, Erven P. Noordhoff N.V., Groningen, and North-Holland Publishing Co., Amsterdam, pp. 289–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
Paul Bernays. Mathematische Existenz und Widerspruchsfreiheit. Études de philosophie des sciences, en hommage à F. Gonseth à l'occasion de son soix-antième anniversaire, Éditions du Griffon, Neuchâtel1950, pp. 11–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-211
-
- Article
- Export citation
Hao Wang. The categoricity question of certain grand logics. Mathematische Zeitschrift, vol, 59 no. 1 (1953), pp. 47–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
Joseph T. Clark. Contemporary science and deductive methodology. Proceedings of the American Catholic Philosophical Association, vol. 26 (1952), pp. 3–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 359
-
- Article
- Export citation
Paul Lorenzen. Über die Widerspruchsfreiheit des Unendlichkeitsbegriffes. Studium generale, vol. 5 (1952), pp. 591–594.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
-
- Article
- Export citation
Samuel Issmann. Problèmes de la définition. Methodos, vol. 4 (1952), pp. 91–117. - S. Ceccato, P. Facchi, G. Vaccarino. Discussione. Methodos, vol. 4 (1952), pp. 117–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 211-212
-
- Article
- Export citation