Research Article
Characterising subsets of ω1 constructible from a real
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1420-1432
-
- Article
- Export citation
Reviews
Michiel van Lambalgen. Independence, randomness and the axiom of choice. The journal of symbolic logic, vol. 57 (1992), pp. 1274–1304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1433-1434
-
- Article
- Export citation
Boris Trakhtenbrot. Comparing the Church and Turing approaches: two prophetical messages. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unversagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 603–630.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1434-1436
-
- Article
- Export citation
José Luis Balcázar, Josep Díaz, and Joaquim Gabarró. Structural complexity I. EATCS monographs on theoretical computer science, vol. 11. Springer-Verlag, Berlin etc. 1988, ix + 191 pp. - José Luis Balcázar, Josep Díaz, and Joaquim Gabarró. Structural complexity II. EATCS monographs on theoretical computer science, vol. 22. Springer-Verlag, Berlin etc. 1990, ix + 283 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1436-1437
-
- Article
- Export citation
Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1437-1439
-
- Article
- Export citation
Logical foundations of functional programming, edited by Gérard Huet, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1439-1441
-
- Article
- Export citation
Keith Devlin. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1441-1442
-
- Article
- Export citation
Meeting Report
1993 Annual Meeting of the Australasian Association for Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1443-1449
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1450-1491
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1496
-
- Article
- Export citation
Front matter
JSL volume 59 issue 4 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 59 issue 4 Cover and Back matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
-
- Article
-
- You have access
- Export citation