Contents
Meeting Report
1992 Annual Meeting of the Australasian Association for Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1477-1484
-
- Article
- Export citation
Reviews
Mike Townsend. Complexity for type-2 relations. Notre Dame journal of formal logic, vol. 31 (1990), pp. 241–262.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 360
-
- Article
- Export citation
Meeting Report
Constructivity in computer science: A summer symposium
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1097
-
- Article
- Export citation
Reviews
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Oxford logic guides, no. 20. Clarendon Press, Oxford University Press, Oxford and New York1992, viii + 152 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 725-728
-
- Article
- Export citation
Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory. Volume 1. International series of monographs on computer science, no. 6. Clarendon Press, Oxford University Press, Oxford and New York1989, xii + 347 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
-
- Article
- Export citation
Other
European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-766
-
- Article
- Export citation
Meeting Report
European summer meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1098-1149
-
- Article
- Export citation
Other
Colloque franco-exsovietique de théorie des modèles
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1485-1486
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-768
-
- Article
- Export citation
Meeting Report
Logic at Tver '92
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1150
-
- Article
- Export citation
Reviews
Jon Barwise and John Etchemendy. The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370(2). CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1990, also distributed by the University of Chicago Press, Chicago, xiii + 259 pp. + disk. - Jon Barwise and John Etchemendy. The language of first-order logic, including the Macintosh program Tarski's world. Second edition of the preceding. CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1992 (© 1991), also distributed by the University of Chicago Press, Chicago, xiv + 297 pp. + disk.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1487-1527
-
- Article
- Export citation
Reviews
Stewart Shapiro. Foundations without foundationalism. A case for second-order logic. Oxford logic guides, no. 17. Clarendon Press, Oxford University Press, Oxford and New York1991, xx + 277 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-365
-
- Article
- Export citation
Index of reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1528-1542
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1151-1152
-
- Article
- Export citation
Front matter
JSL volume 58 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Gödel's theorem in focus, edited by S. G. Shanker, Philosophers in focus series, Croom Helm, London, New York, and Sydney, 1988, and Routledge, London and New York 1989, ix + 261 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1544
-
- Article
- Export citation
Front matter
JSL volume 58 issue 3 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 58 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation