Contents
Reviews
Kenneth Kunen. Set theory. An introduction to independence proofs. Studies in logic and the foundations of mathematics, vol. 102. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xvi + 313 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-464
-
- Article
- Export citation
Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, xiv + 482 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 464-465
-
- Article
- Export citation
Anand Pillay. An introduction to stability theory. Oxford logic guides, no. 8. Clarendon Press, Oxford University Press, Oxford and New York 1983, xi + 146 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-467
-
- Article
- Export citation
William S. Hatcher. The logical foundations of mathematics. Foundations and philosophy of science and technology series. Pergamon Press, Oxford etc. 1982, x + 320 pp. - William S. Hatcher. Foundations of mathematics. W. B. Saunders Company, Philadelphia, London, and Toronto, 1968, xiii + 327 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-470
-
- Article
- Export citation
Jon Barwise and John Perry. Situations and attitudes. Bradford books. The MIT Press, Cambridge, Mass., and London, 1983, xxii + 352 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-472
-
- Article
- Export citation
Judson Chambers Webb. Mechanism, mentalism, and metamathematics. An essay on finitism. Synthese library, vol. 137. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xiii + 277 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-476
-
- Article
- Export citation
William Kneale and Martha Kneale. The development of logic. Corrected paperback edition of XXVII 213. Clarendon Press, Oxford University Press, Oxford and New York 1984, viii + 783 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 476
-
- Article
- Export citation
Krister Segerberg. The logic of deliberate action. Journal of philosophical logic, vol. 11 (1982),pp. 233–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-477
-
- Article
- Export citation
Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 (1982), pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 (1984), pp. 818–829.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-479
-
- Article
- Export citation
Meeting Report
European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-502
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Sydney, 1984
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-506
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Chicago, 1985
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 507-510
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
-
- Article
- Export citation
Front matter
JSL volume 51 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 51 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation