Last updated 10th July 2024: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website https://www.cambridge.org/news-and-insights/technical-incident

Skip to main content Accessibility help

Home
Journals
Bulletin of Symbolic Logic
Volume 12

Bulletin of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

Bulletin of Symbolic Logic

Refine listing

Actions for selected content:

Volume 12 - December 2006

Reviews

Krzysztof R. Apt. Principles of constraint programming. Cambridge University Press, Cambridge, United Kingdom, 2003, xii + 407 pp.

Danielle Macbeth. Frege's logic. Harvard University Press, Cambridge, Massachusetts, 2005, xii + 206 pp.

From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster, Oxford Logic Guides, vol. 48. Clarendon Press, 2005, xix + 450 pp.

John Nolt. Logics. Wadsworth, 1997, xii + 468 pp.

Meeting Report

2005–06 Winter Meeting of the Association for Symbolic Logic

Reviews

Bob Hale and Crispin Wright. The reason's proper study: Essays toward a neo-Fregean philosophy of mathematics. Oxford University Press, New York. 2001, 472 pp.

Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv + 202 pp.

The law of non-contradiction: New philosophical essays, edited by Graham Priest, J.C. Beall, and Bradley Armour-Garb, Oxford University Press, Oxford, 2004, xii + 443 pp.

David Makinson. Bridges from classical to nonmonotonic logic. Text in Computing, vol. 5. King's College, London, 2005, xvi + 216 pp.

Heinrich Scholz. Logiker, Philosoph, Theologe. edited by Hans-Christoph Schmidt am Busch and Kai F. Wehmeier, Mentis, Paderborn, 2005, 134 pp.

Other

Individual Members 2006

Reviews

Graham Priest. An introduction to non-classical logic. Cambridge University Press, 2001, xxi + 242 pp.

Vincent F. Hendricks. Logical lyrics: From philosophy to poetics. King's College Publications, London, 2005, xiii + 173 pp.

Fairouz Kamareddine, Twan Laan, and Rob Nederpelt. A modern perspective on type theory—From its origins until today. Applied Logic Series, vol. 29. Kluwer Academic Publishers, Dordrecht, 2004, xiv + 357 pp.

Meeting Report

2005–06 Winter Meeting of the Association for Symbolic Logic

Other

Association for Symbolic Logic

Reviews

Linear logic in computer science, edited by T. Ehrhard, J.-Y. Girard, P. Ruet, and P. Scott, London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp.

Oskar Becker und die Philosophie der Mathematik. Neuzeit und Gegenwart, edited by Volker Peckhaus, Wilhelm Fink Verlag, München, 352 pp.

Other

Notices

Meeting Report

2005 Annual Conference of the Australasian Association for Logic

Bulletin of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 12 - December 2006

Reviews

Meeting Report

Reviews

Other

Reviews

Meeting Report

Other

Reviews

Other

Meeting Report