Contents
Reviews
E. F. Moore. A simplified universal Turing machine. Proceedings of the Association for Computing Machinery, meeting at Toronto, Ont., Jointly sponsored by the Association for Computing Machinery and the University of Toronto, September 8 to 10, 1952, photo-offset, Sauls Lithograph Company, Washington, D.C., 1952, pp. 50–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
-
- Article
- Export citation
W. V. Quine. On ω-consistency and a so-called axiom of infinity. The journal of symbolic logic, vol. 18 (1953), pp. 119–124.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
G. Kreisel. On a problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), pp. 405–406; also Indagationes mathematicae, vol. 15 (1953), pp. 405–406.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-220
-
- Article
- Export citation
N. O. Lossky. Analytic and synthetic propositions and mathematical logic. International Universities Press, Inc., New York1953, 16 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 291
-
- Article
- Export citation
A. Mostowski. On models of axiomatic systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 133–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
-
- Article
- Export citation
Leon Henkin. On the primitive symbols of Quine's “Mathematical logic.”Revue philosophique de Louvain, vol. 51 (1953), pp. 591–593.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation
Francis V. Raab. A criterion of necessity. The review of metaphysics, vol. 6 no. 1 (1952), p. 123. - Rulon Wells. Comments on Mr. Raab's theses. The review of metaphysics, p. 124. - Richard Brandt. Comments on Mr. Raab's theses. The review of metaphysics, pp. 125–126. - Henry W. Johnstone Jr. Comments on Mr. Raab's theses. The review of metaphysics, pp. 126–127. - Manley Thompson. Comments on Mr. Raab's theses. The review of metaphysics, pp. 127–128. - Gustav Bergmann. Comments on Mr. Raab's theses. The review of metaphysics, pp. 128–129. - Francis V. Raab. Response to comments. The review of metaphysics, pp. 130–131.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
-
- Article
- Export citation
L. C. Robbins. An analysis by arithmetical methods of a calculating network with feedback. Ibid., pp. 61–67. - Irving S. Reed. Symbolic synthesis of digital computers. Ibid., pp. 90–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
-
- Article
- Export citation
Jean Ladrière. Le rôle du théoréme de Gödel dans le développement de la théorie de la démonstration. Revue philosophique de Louvain, vol. 47 (1949), pp. 469–492. - Jean Ladrière. Rationnel et irrationnel en mathématique. Revue philosophique de Louvain, vol. 48 (1950), pp. 37–62. - Jean Ladrière. Le théorème fondamental de Gentzen. Revue philosophique de Louvain, vol. 49 (1951), pp. 357–384.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
-
- Article
- Export citation
Tameharu Shirai. On the pseudo-set. Memoirs of the College of Science, Kyoto Imperial University, series A, vol. 20 no. 4 (1937), pp. 153–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation
P. S. Novikov. Ob algoritmičéskoj nérazréšimosti problémy toždéstva (On algorithmic unsolvability of the word problem). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 709–712.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-60
-
- Article
- Export citation
Takeo Sugihara. The axiomatization of the Aristotelian modal logic. Memoirs of the Liberal Arts College, Fukui University, vol. 2 (1953), pp. 53–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
-
- Article
- Export citation
Ettore Carruccio. I fini del “Calculus ratiocinator” di Leibniz, e la logica matematica del nostro tempo. Bollettino delta Unione Matematica Italiana, ser. 3 vol. 3 (1948), pp. 148–161.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation
B. A. Trahténbrot. O rékursivnoj otdélimosti (On recursive separability). Doklady Akadémii Nauk SSSR, vol. 88 (1953), pp. 953–956.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
-
- Article
- Export citation
Robert Feys. Les systèmes formalisés des modalités aristotéliciennes. Revue philosophique de Louvain, vol. 48 (1950), pp. 478–509.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
-
- Article
- Export citation
Gotthard Günther. Die philosophische Idee einer nicht-aristotelischen Logik. 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. 44–50. - Gotthard Günther. The logical parallax. Astounding science fiction, vol. 52 no. 3 (1953), pp. 123–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
Uuno Saarnio. Der Teil und die Gesamtheit. 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. 35–37.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
Bolesław Sobociński. Note on a modal system of Feys-von Wright. The journal of computing systems, vol. 1 no. 3 (1953), pp. 171–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
Philip P. Hallie. A note on logical connectives. Mind, n.s. vol. 63 (1954), pp. 242–245.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
-
- Article
- Export citation
G. Kreisel. Some remarks on the foundations of mathematics. An expository article. The mathematical gazette, vol. 35 (1951), pp. 23–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
-
- Article
- Export citation