Contents
Reviews
W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 176–185.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
-
- Article
- Export citation
W. W. Tait. Intensional interpretations of functionals of finite type I. The journal of symbolic logic, vol. 32 (1967), pp. 198–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-625
-
- Article
- Export citation
A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
John Myhill. The formalization of intuitionism. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I,Logique et fondements des mathimatiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence 1968, pp. 324–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
Solomon Feferman. Ordinals and functionals in proof theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 229–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
-
- Article
- Export citation
William E. Ritter. Notation systems and an effective fixed point property. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 390–395.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
N. V. Belyakin. A variation of Richter's construction of ordinals. English translation of X L 517. Algebra and logic (New York), vol. 8 (1969), pp. 86–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
H. B. Enderton. The unique existential quantifier. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 52–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
Steven Orey. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 146–153. - S. Feferman, G. Kreisel, and S. Orey. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 (for 1960, pub. 1962), pp. 52–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
G. H. Müller. Über die unendliche Induktion. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 75–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
Gisbert Hasenjaeger. Einführung in die Grundbegriffe und Probleme der modernen Logik. Studium universale. Verlag Karl Alber, Freiburg and Munich 1962, 202 pp. - G. Hasenjaeger. Introduction to the basic concepts and problems of modern logic. A slightly revised English translation of the preceding by E. C. M. Mays. D. Reidel Publishing Company, Dordrecht, Holland, and Humanities Press, New York, 1972, 180 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
-
- Article
- Export citation
Hugues Leblanc and William A. Wisdom. Deductive logic. Allyn and Bacon, Inc., Boston 1972, xii + 367 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
-
- Article
- Export citation
K. Kuratowski and A. Mostowski. Set theory. English translation of XL 649(4) by M. Maczynski. PWN—Polish Scientific Publishers, Warsaw, and North-Holland Publishing Company, Amsterdam, 1968, xi + 417 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 629-630
-
- Article
- Export citation
Nicolas Bourbaki (pseudonym). Theory of sets. Elements of mathematics. English translation of XXXVII 636(6-8), XL 289(1). Hermann, Publishers in Arts and Science, Paris, and Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, Don Mills, Ontario, 1968, VIII + 414 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-631
-
- Article
- Export citation
Azriel Lévy. The Fraenkel-Moslowski method for independence proofs in set theory. 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, Amsterdam 1965, pp. 221–228. - Paul E. Howard. Limitations on the Fraenkel-Mostowski method of independence proofs. The journal of symbolic logic, vol. 38 (1973), pp. 416–422.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
-
- Article
- Export citation
A. Mostowski. Constructible sets with applications. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam, and PWN, Polish Scientific Publishers, Warsaw, 1969, vi + 269 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-632
-
- Article
- Export citation
Kenneth Kunen. Indescribability and the continuum. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 199–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
-
- Article
- Export citation
R. Björn Jensen. The fine structure of the constructible hierarchy. Annals of mathematical logic, vol. 4 no. 3 (1972), pp. 229–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 632-633
-
- Article
- Export citation
Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 (1970), pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-634
-
- Article
- Export citation
Greg Cherlin and Joram Hirschfeld. Ultrafilters and ultraproducts in non-standard analysis. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 261–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 634
-
- Article
- Export citation