Contents
Reviews
Bjarni Jónsson. Defining relations for full semigroups of finite transformations. The Michigan mathematical journal, vol. 9 (1962), 77–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
-
- Article
- Export citation
Kempachiro Ohashi. Undecidable theorems ni tuite (On undecidable theorems). Sügaku, vol. 9 no. 2 (1957), pp. 96–97 (32-33).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
Giuseppe Vaccarino. Il calcolo delle proposizioni. Archimede, vol. 1 (1949), pp. 229–233; vol. 2 (1950), pp. 96-98, 201-206.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Dennis Spellman. A generalization of the structure of the sentential calculus. Pi Mu Epsilon journal, vol. 4 (1966), pp. 149–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 308-309
-
- Article
- Export citation
Saul A. Kripke. An extension of a theorem of Gaifman-Hales-Solovay. Fundamenta mathematicae, vol. 61 (1967), pp. 29–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
A. I. Mal′cév. O malyh modélah (On small models). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 258–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-514
-
- Article
- Export citation
Otto Bird. Syllogistic and its extensions. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1964, xii + 116 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 309
-
- Article
- Export citation
Ph. Dwinger. Direct limits of partially ordered systems of Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, series A, vol. 70 (1967), pp. 317–325; also Indagationes mathematicae, vol. 29 (1967), pp. 317-325.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
Dana Scott. Dimension in elementary Euclidean geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957–January 4,1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 53–67.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
-
- Article
- Export citation
Motokiti Kondô and Haruo Murata. On proof retrieval: problem-solving machines. I.Proceedings of the Japan Academy, vol. 41 (1965), pp. 254–259. - Motokiti Kondô and Haruo Murata. Standard form in PGO and transformation algorithm: problem-solving machines. II.Proceedings of the Japan Academy, vol. 41 (1965), pp. 355–359. - Motokiti Kondô and Haruo Murata. Transformation of PGO into a calculable expression: problem-solving machines. III.Proceedings of the Japan Academy, vol. 42 (1966), pp. 299–303.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
-
- Article
- Export citation
Raymond L. Wilder. Introduction to the foundations of mathematics. Second edition of XIX 225. John Wiley & Sons, Inc., New York, London, and Sydney, 1965, xvi + 327 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 310
-
- Article
- Export citation
Per Lindström. On relations between structures. Theoria (Lund), vol. 32 (1966), pp. 172–185.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
-
- Article
- Export citation
G. S. Matvééva. К téorémé Rabina o složnosti vyčislimyh funkcij (On a theorem of Rabin concerning the complexity of computable functions). Sibirskij matématičéskij žurnal, vol. 6 (1965), pp. 546–555.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
-
- Article
- Export citation
J. R. Shoenfield. The problem of predicativity. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 132–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
-
- Article
- Export citation
Paul Bernays. Die Manningfaltigketi der Direktiven für die Gestaltung geometrischer Axiomensysteme. The axiomatic method, with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 310
-
- Article
- Export citation
B. A. Trahténbrot. Optimal′nyé vyčísléniá i častotnoé ávlénié Åblonskogo (Optimal computations and the frequency occurrence of Áblonskij). Algébra i logika, Séminar, vol. 4 no. 5 (1965), pp. 79–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 134
-
- Article
- Export citation
P. Vopěnka. The limits of sheaves and applications on constructions of models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 189–192. - P. Vopěnka. On ∇-model of set theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 267–272. - P. Vopěnka. Properties of ∇-model. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 441–444. - P. Vopěnka and P. Hájek. Permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 611–614. - P. Hájek and P. Vopěnka. Some permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 1–7. - P. Vopěnka. ∇-models in which the generalized continuum hypothesis does not hold. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 95–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-516
-
- Article
- Export citation
Brian Ellis. Basic concepts of measurement. Cambridge University Press, Cambridge1966, ix + 220 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-311
-
- Article
- Export citation
J. W. Swanson. A variant of Turing machines requiring print instructions only. Logique et analyse, n.s. vol. 10 (1967), pp. 200–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
-
- Article
- Export citation
Abraham Robinson. On languages which are based on non-standard arithmetic.Nagoya mathematical journal, vol. 22 (1963), pp.83–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 516-517
-
- Article
- Export citation