Contents
Reviews
Handbook of logic in artificial intelligence and logic programming, Volume 3, Nonmonotonic reasoning and uncertain reasoning, edited by Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, with D. Nute, Handbooks of logic in computer science and artificial intelligence and logic programming, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1994, xix + 529 pp.–
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 480-484
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 397-400
-
- Article
- Export citation
Front matter
BSL volume 6 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Reviews
Grigoris Antoniou. Nonmonotonic reasoning. With contributions by Mary-Anne Williams. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1997, xiii + 285 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 484-490
-
- Article
- Export citation
Front matter
BSL volume 6 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 6 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
-
- Article
-
- You have access
- Export citation
BSL volume 6 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
-
- Article
-
- You have access
- Export citation
Reviews
Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 490-495
-
- Article
- Export citation
James E. Baumgartner. Sacks forcing and the total failure of Martin's axiom. Topology and its applications, vol. 19 (1985), pp. 211–225. - James E. Baumgartner and Peter Dordal. Adjoining dominating functions. The journal of symbolic logic, vol. 50 (1985), pp. 94–101.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 495-497
-
- Article
- Export citation
James E. Baumgartner. Bases for Aronszajn trees. Tsukuba journal of mathematics, vol. 9 (1985), pp. 31–40. - James E. Baumgartner. Polarized partition relations and almost-disjoint functions. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 213–222.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 497-498
-
- Article
- Export citation
George Boolos and Richard G. HeckJnr. Die Grundlagen der Arithmetik, §§82–3. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998, pp. 407–428. - Richard G. HeckJnr. The finite and the infinite in Frege's Grundgesetze der Arithmetik. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 429–466. - Crispin Wright. On the harmless impredicativity of N= (‘Hume's principle’). The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 339–368. - Michael Dummett. Neo-Fregeans: in bad company? The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 369–387. - Crispin Wright. Response to Dummett. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 389–405.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 498-504
-
- Article
- Export citation
Obituary
In Memoriam: Kenneth Jon Barwise 1942–2000
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 505-508
-
- Article
-
- You have access
- Export citation
Other
Association For Symbolic Logic
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 509-566
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 567-570
-
- Article
- Export citation
Front matter
BSL volume 6 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 6 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
-
- Article
-
- You have access
- Export citation