Reviews
A. Mostowski. A problem in the theory of models. Bulletin de l' Académie Polonaise des Sciences, Série des sciences hmatématiques, astronomiques et physiques, vol. 10 (1962), pp. 121–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 600
-
- Article
- Export citation
H. B. Enderton and Harvey Friedman. Approximating the standard model of analysis. Fundamenta mathematicae, vol. 72 no. 2 (1971), pp. 175–188.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-601
-
- Article
- Export citation
J. R. Shilleto. Minimum models of analysis. The journal of symbolic logic, vol. 37 (1972), pp. 48–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 601
-
- Article
- Export citation
Ralph McKenzie. Definability in lattices of equational theories. Annals of mathematical logic, vol. 3 no. 2 (1971), pp. 197–237.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 601-602
-
- Article
- Export citation
Alfred Tarski. A simplified formalization of predicate logic with identity. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 61–79.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-603
-
- Article
- Export citation
Ú. L. Éršov. I. A. Lavrov, A. D. Tajmanov, and M. A. Tajclin. Eléméntarnyé téorii. Uspéhi matématičéskih nauk, vol. 20 no. 4 (1965), pp. 37–108. - Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin. Elementary theories. English translation of the preceding by P. M. Cohn. Russian mathematical surveys, vol. 20 no. 4 (1965), pp. 35–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 603
-
- Article
- Export citation
Paul C. Eklof and Edward R. Fisher. The elementary theory of Abelian groups. Annals of mathematical logic, vol. 4 no. 2 (1972), pp. 115–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
-
- Article
- Export citation
Frank Harary. A very independent axiom system. The American mathematical monthly, vol. 68 (1961), pp. 159–162.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
-
- Article
- Export citation
Shôji Maehara. A system of simple type theory with type variables. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 (1969), pp. 131–137.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
-
- Article
- Export citation
Ú. V. Matiásévič. Diofantovo prédstavlénié péréčislimyh prédikatov. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 35 (1971), pp. 3–30. - Ju. V. Matijasevič. Diophantine representation of enumerable predicates. English translation of the preceding by F. M. Goldware. Mathematics of the USSR, Izvestija, vol. 5 (for 1971, pub. 1972), pp. 1–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
-
- Article
- Export citation
John Case. Enumeration reducibility and partial degrees. Annals of mathematical logic, vol. 2 no. 4 (1971), pp. 419–439.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
-
- Article
- Export citation
B. A. Trahténbrot. O častotnom vyčislénii funkcij (On frequential computation of functions). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 25–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
Tosiyuki Tugué and Sigeru Hinata. A note on continuous functionals. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 (1969), pp. 138–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
-
- Article
- Export citation
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 (1968), S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria (Lund), Bd. 33 (1967), S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 (1967), S. 399–410.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
-
- Article
- Export citation
Bruno Scarpellini. Proof theory and intuitionistic systems. Lecture notes in mathematics, no. 212. Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VII + 291 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-609
-
- Article
- Export citation
A. Heyting. Intuitionism in mathematics. English original of XXXIV 313(12). Philosophy in the mid-century, A survey, I Logic and philosophy of science, edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1958, pp. 101–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 609
-
- Article
- Export citation
E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 15–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 609
-
- Article
- Export citation
Ernest Adams. The logic of conditionals. Inquiry (Oslo), vol. 8 (1965), pp. 166–197. - Ernest W. Adams. Probability and the logic of conditionals. Aspects of inductive logic, edited by Jaakko Hintikka and Patrick Suppes, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1966, pp. 265–316.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-611
-
- Article
- Export citation
Charles E. Caton. A stipulation of logical truth in a modal propositional calculus. Synthese, vol. 14 (1962), pp. 196–199. - Charles E. Caton. A stipulation of a modal propositioned calculus in terms of modalized truth-values. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 224–226.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
-
- Article
- Export citation
Krister Segerberg. Decidability of S4.1. Theoria (Lund), vol. 34 (1968), pp. 7–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-612
-
- Article
- Export citation