Contents
Reviews
Steven Buechler. Essential stability theory. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1996, xiv + 355 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
-
- Article
- Export citation
John R. Steel. The core model iterability problem. Lecture notes in logic, no. 8. Springer, Berlin, Heidelberg, New York, etc., 1996, iii + 112 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-328
-
- Article
- Export citation
Andrea Cantini. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
-
- Article
- Export citation
Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 (1996), pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-331
-
- Article
- Export citation
Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 (Feb.1990), pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 (1993), pp. 351–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
-
- Article
- Export citation
George Boole. Selected manuscripts on logic and its philosophy. Edited by Ivor Grattan-Guinness and Gérard Bornet. Science networks historical studies, vol. 20. Birkhäuser Verlag, Basel, Boston, and Berlin, 1997, lxiv + 236 pp. - Ivor Grattan-Guinness. Boole's quest for the foundations of his logic. Therein, pp. xiii–xlvii. - Gérard Bornet. Boole's psychologism as a reception problem. Therein, pp. xlvii–lviii.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
-
- Article
- Export citation
Arrow logic and multi-modal logic, edited by Maarten Marx, László Pólos, and Michael Masuch, Studies in logic, language and information, CSLI Publications, Stanford, and FoLLI, 1996, also distributed by Cambridge University Press, New York, xiv + 247 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-336
-
- Article
- Export citation
Front matter
JSL Volume 63 issue 1 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 63 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation