Reviews
P. H. Nowell-Smith and E. J. Lemmon. Escapism: the logical basis of ethics.Mind, n.s. vol. 69 (I960), pp. 289–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-612
-
- Article
- Export citation
R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 390–401.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-477
-
- Article
- Export citation
J. R. Shoenfield. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 131–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 116
-
- Article
- Export citation
Tadahiro Uesu. On Zermelo's set-theory and the simple type-theory with the axiom of infinity. Commentarti mathematici Universitatis Sancti Pauli, vol. 15 (1966), pp. 49–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
-
- Article
- Export citation
Dana Scott. A proof of the independence of the continuum hypothesis. Mathematical systems theory, vol. 1 (1967), pp. 89–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
H. N. Castaneda. Obligation and modal logic. Logique et analyse, n.s. vol. 3 (1960), pp. 40–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
-
- Article
- Export citation
Ann Yasuhara. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 167–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-117
-
- Article
- Export citation
M. Makkai A compactness result concerning direct, products of models. Fundamenta mathematicae, vol. 57 (1965), pp. 313–325.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 477
-
- Article
- Export citation
Gaisi Takeuti and Akiko Kino. On hierarchies of predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 (1962), pp. 199–232. - Akiko Kino and Gaisi Takeuti. A note on predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 (1962), pp. 367–378.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
-
- Article
- Export citation
John McCarthy. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 184–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 59–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 477
-
- Article
- Export citation
Thomas S. Knight. Questions and universals. Philosophy and phenomenological research, vol. 27 no. 4 (1967), pp. 564–576.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 612-613
-
- Article
- Export citation
Akiko Kino. A note on constructive ordinals. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 4 (1964), pp. 189–198. (Reprinted from Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, sponsored jointly by the Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 51–64.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
-
- Article
- Export citation
Carol R. Karp. Languages with expressions of infinite length. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1964, xix + 183 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-478
-
- Article
- Export citation
John McCarthy. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238. - John McCarthy. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 33–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
Nicholas Rescher. Non-deductive rules of inference and problems in the analysis of inductive reasoning. Synthese, vol. 13 (1961), pp. 242–251.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
R. Montague. Mr. Bradley on the future. Mind, n.s. vol. 69 (1960), pp. 550–554.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
V. Amstislavskij. O rékursivnyh réšétah (On recursive sieves). Sibirskij matématičéskij žurnal, vol. 7 (1966), pp. 233–241.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
Carol Karp. Nonaxiomatizability results for infinitary systems. The journal of symbolic logic, vol. 32 (1967), pp. 367–384.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-479
-
- Article
- Export citation
E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 21–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation