Contents
Reviews
A. S. Troelstra. On intermediate propositional logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 68 (1965), pp. 141–152; also Indagationes mathematicae, vol. 27 (1965), pp. 141–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
-
- Article
- Export citation
Dieter Rödding. Anzahlquantoren in der Prädikatenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 (1966), pp. 66–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
-
- Article
- Export citation
T. G. McLaughlin. Retraceable sets and recursive permutations. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 427–429.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
W. W. Tait. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 980–983.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
-
- Article
- Export citation
T. G. McLaughlin. Hereditarily retraceable isols. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 113–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
-
- Article
- Export citation
John Myhill. Notes towards an axiomatization of intuitionistic logic. Logique et analyse, n.s. vol. 9 (1966), pp. 280–297.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
-
- Article
- Export citation
Azriel Lévy. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society, no. 57. American Mathematical Society, Providence 1965, 76 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-474
-
- Article
- Export citation
M. Hanazawa. A characterization of axiom schema playing the rôle of tertium non datur ir intuitionistic logic. Proceedings of the Japan Academy, vol. 42 (1966), pp. 1007–1010.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-608
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. BelnapJr., Tautological entailments. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 9–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 608
-
- Article
- Export citation
Petr Hájek. Modelle der Mengenlehre, in denen Mengen gegebener Gestalt existieren. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 103–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 474-475
-
- Article
- Export citation
Yoshindo Suzuki. Enumeration of recursive sets. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), p. 311.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
Stephen Cole Kleene. Introduction to metamathematics. Fourth printing of XIX 215. North-Holland Publishing Co., Amsterdam, P. Noordhoff Ltd., Groningen, and D. Van Nostrand Company, Princeton, Toronto, and New York, 1964, x + 550 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-291
-
- Article
- Export citation
Ronald Harrop. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 136–140. - Jiří Hořejš. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 119–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
L. L. Maksimova. Nékotoryé voprosy isčisléniá Akkérmana. Doklady Akademii Nauk SSSR, vol. 175 (1967), pp. 1222–1224. - L. L. Maksimova. Some problems of the Ackermann calculus. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 8 no. 4 (1967), pp. 997–999.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-610
-
- Article
- Export citation
Takashi Nagashima. An extension of the Craig-Schütte interpolation theorem. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 (1966), pp. 12–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
-
- Article
- Export citation
Petr Vopěnka. Postroénié modeléj téorii mnozéstv métodom ul'traproizvédéniá (Die Konstruktion von Modellen der Mengenlehre nach der Methode der Ultraprodukte). Zeitschrift für mathematische Logik und Grundtagen der Mathematik, vol. 8 (1962), pp. 293–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-476
-
- Article
- Export citation
Tosiyuki Tugué. On predicates expressible in the 1-function quantifier forms in Kleene hierarchy with free variables of type 2. Proceedings of the Japan Academy, vol. 36 (1960), pp. 10–14. - Tosiyuki Tugué. Predicates recursive in a type-2 object and Kleene hierarchies. Commentarii mathematici Universitatis Sancti Pauli, vol. 8 (1960), pp. 97–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
-
- Article
- Export citation
L. Bukowský and K. Příkry. Some matamathematical properties of measurable cardinals. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 9–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 476
-
- Article
- Export citation
A. N. Prior. Escapism: the logical basis of ethics. Essays in moral philosophy, edited by A. I. Melden, University of Washington Press, Seattle1958, pp. 135–146; and paper-bound edition, University of Washington Press, Seattle and London 1966, pp. 135–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-611
-
- Article
- Export citation
Wacław Sierpiński. Algèbre des ensembles. Monografie matematyczne, vol. 23. Warsaw and Breslau1951, 205 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
-
- Article
- Export citation