Contents
Meeting Report
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-326
-
- Article
- Export citation
Reviews
Crispin Wright. Wittgenstein on the foundations of mathematics. Duckworth, London, and Harvard University Press, Cambridge, Mass., 1980, xix + 481 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1415-1417
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 999-1000
-
- Article
- Export citation
Reviews
Jeanne Ferrante and Charles W. Rackoff. The computational complexity of logical theories. Lecture notes in mathematics, vol. 718. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 243 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-671
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
-
- Article
- Export citation
Front matter
JSL volume 49 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
Nathan U. Salmon. Reference and essence. Princeton University Press, Princeton1981, xvi + 293 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1417-1419
-
- Article
- Export citation
Leo Harrington. Recursively presentable prime models. The journal of symbolic logic, vol. 39 (1974), pp. 305–309. - Terrences. Millar. Foundations of recursive model theory. Annals of mathematical logic, vol. 13 (1978), pp. 45–72. - Terrence S. Millar. A complete, decidable theory with two decidable models. The journal of symbolic logic, vol. 44 (1979), pp. 307–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 671-672
-
- Article
- Export citation
Michel Parigot. Théories d'arbres. The journal of symbolic logic, vol. 47 no. 4 (for 1982, pub. 1983), pp. 841–853.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 672
-
- Article
- Export citation
Back matter
JSL volume 49 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Reviews
W. J. Blok. The lattice of modal logics: an algebraic investigation. The journal of symbolic logic, vol. 45 (1980), pp. 221–236. - W. J. Blok. Pretahular varieties of modal algebras. Studio logica, vol. 39 (1980), pp. 101–124.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1419-1420
-
- Article
- Export citation
Front matter
JSL volume 49 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Albert R. Meyer and Rohit Parikh. Definability in dynamic logic. Journal of computer and system sciences, vol. 23 (1981), pp. 279–298.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1420-1421
-
- Article
- Export citation
Jerome Malitz. Introduction to mathematical logic. Set theory, computable functions, model theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xii + 198 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-673
-
- Article
- Export citation
Back matter
JSL volume 49 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Reviews
A.G. Hamilton. Numbers, sets and axioms. The apparatus of mathematics. Cambridge University Press, Cambridge etc. 1982, ix + 255 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1421
-
- Article
- Export citation
Meeting Report
Annual Meeting of the Association for Symbolic Logic Denver, 1983
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-682
-
- Article
- Export citation
Reviews
Rolando Basim Chuaqui. Axiomatic set theory, Impredicative theories of classes. North-Holland mathematics studies, no.. 51, Notas de matematica, no. 78. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xv + 388 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1422
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic Florence, Italy 1982
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-710
-
- Article
- Export citation
Reviews
Petr Vopěnka and Petr Hájek. The theory of semisets. Studies in logic and the foundations of mathematics, vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1422-1423
-
- Article
- Export citation