Contents
Other
Notice of the Journal of Philosophical Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
Reviews
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
Other
Notice of the Proceedings of the Tarski Symposium
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
Front matter
JSL volume 40 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
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
Back matter
JSL volume 40 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
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
M. Makkai. Svenonius sentences and Lindström's theory on preservation theorems. Fundamenta mathematicae, vol. 73 no. 3 (1972), pp. 219–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 635
-
- Article
- Export citation
J. I. Malitz and W. N. Reinhardt. Maximal models in the language with quantifier “there exist uncountably many.” Pacific journal of mathematics, vol. 40 (1972), pp. 139–155. - J. I. Malitz and W. N. Reinhardt. A complete countable Lω1Q theory with maximal models of many cardinalities. Pacific journal of mathematics, vol. 43 (1972), pp. 691–700.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-636
-
- Article
- Export citation
Michael Morley. Countable models of ℵ1-categorical theories. Israel journal of mathematics, vol. 5 (1967), pp. 65–72. - J. T. Baldwin and A. H. Lachlan. On strongly minimal sets. The journal of symbolic logic, vol. 36 (1971),pp. 79–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-637
-
- Article
- Export citation
Gerald E. Sacks. Saturated model theory. Photolithographed from typewritten manuscript. Advanced book program. W. A. Benjamin, Inc., Reading, Mass., 1972, xiv + 335 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 637-640
-
- Article
- Export citation
B. F. WellsIII . Translator's foreword. The metamathematics of algebraic systems, Collected papers: 1936-1967, by Anatoliï Ivanovič Mal'cev, translated, edited, and provided with supplementary notes by Benjamin Franklin Wells, III, Studies in logic and the foundations of mathematics, vol. 66, North-Holland Publishing Company, Amsterdam and London 1971, pp. vii–x.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 640-650
-
- Article
- Export citation