Contents
Reviews
Krzysztof R. Apt. Principles of constraint programming. Cambridge University Press, Cambridge, United Kingdom, 2003, xii + 407 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 128-131
-
- Article
- Export citation
John Nolt. Logics. Wadsworth, 1997, xii + 468 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 290-291
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 611-612
-
- Article
- Export citation
Danielle Macbeth. Frege's logic. Harvard University Press, Cambridge, Massachusetts, 2005, xii + 206 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 496-498
-
- Article
- Export citation
Meeting Report
2005–06 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 613-624
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 291-294
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 498-499
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 131-135
-
- Article
- Export citation
David Makinson. Bridges from classical to nonmonotonic logic. Text in Computing, vol. 5. King's College, London, 2005, xvi + 216 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 499-502
-
- Article
- Export citation
Heinrich Scholz. Logiker, Philosoph, Theologe. edited by Hans-Christoph Schmidt am Busch and Kai F. Wehmeier, Mentis, Paderborn, 2005, 134 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 135-137
-
- Article
- Export citation
Other
Individual Members 2006
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 625-681
-
- Article
- Export citation
Reviews
Graham Priest. An introduction to non-classical logic. Cambridge University Press, 2001, xxi + 242 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 294-295
-
- Article
- Export citation
Vincent F. Hendricks. Logical lyrics: From philosophy to poetics. King's College Publications, London, 2005, xiii + 173 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 137
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 296-297
-
- Article
- Export citation
Meeting Report
2005–06 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 503-516
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 682-686
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 297-299
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 687-692
-
- Article
- Export citation
Reviews
Oskar Becker und die Philosophie der Mathematik. Neuzeit und Gegenwart, edited by Volker Peckhaus, Wilhelm Fink Verlag, München, 352 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 137-139
-
- Article
- Export citation
Meeting Report
2005 Annual Conference of the Australasian Association for Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 517-523
-
- Article
- Export citation