Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption

Skip to main content Accessibility help

Home
Journals
Bulletin of Symbolic Logic
Volume 13

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 13 - March 2007

Reviews

Filip Widebäck. Identity of proofs. Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy, vol. 22. Almqvist and Wiksell International, Stockholm, 2001, 85 pp.

Richard Tieszen. Phenomenology, logic, and the philosophy of mathematics. Cambridge University Press, Cambridge, 2005, x + 357 pp.

Ross Brady. Universal logic. CSLI Lecture Notes, vol. 109. CSLI Publications, Stanford, 2006, xii + 346 pp.

Sergio Galvan. Einführung in die Unvollständigkeitstheoreme. Mentis, Paderborn, 2006, 167 pp.

K. Sigmund, J. Dawson, and K. Mühlberger. Kurt Gödel: Das Album. The Album. Vieweg, Wiesbaden 2006, 225 pp.

Leo Corry. Modern algebra and the rise of mathematical structures. Second edition. Birkhäuser Verlag, Basel, 2004, xvi + 451 pp. First edition 1996.

Anders Kock. Synthetic differential geometry. 2nd edition, London Mathematical Society Lecture Note Series, vol. 333. Cambridge University Press, 2006, xii + 233 pp.

The architecture of modern mathematics: Essays in history and philosophy, edited by José Ferreirós and Jeremy J. Gray, Oxford University Press, Oxford 2006, xii + 442 pp.

Jonathan Barnes. Truth, etc. Oxford University Press, Oxford, New York, 2007, viii + 568 pp.

Harry J. Gensler. Historical dictionary of logic. Historical Dictionaries of Religions, Philosophies, and Movements, vol. 65. The Scarecrow Press, Lanham (Maryland), Toronto, and Oxford, 2006, xliv + 307 pp.

Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.

Mark Vorobej. A Theory of Argument. Cambridge University Press, Cambridge, 2006, x + 324 pp.

S. Awodey. Category theory. Oxford Logic Guides, vol. 49. Oxford Sciences Publications, Oxford, 2006, xi + 256 pp.

Reverse Mathematics 2001, edited by Stephen G. Simpson, Lecture Notes in Logic, vol. 21. ASL and AK Peters, Ltd., Wellesley, Massachusetts, x + 401 pp.

J. Flum and M. Grohe. Parameterized complexity theory. Texts in Theoretical Computer Science. Springer, Berlin, 2006, xiii + 493 pp.

Meeting Report

2007 Spring Meeting of the Association for Symbolic Logic

Other

Association for Symbolic Logic

Reviews

Nonstandard methods and applications in mathematics, edited by Nigel J. Cutland, Mauro di Nasso and David A. Ross, Lecture Notes in Logic, vol. 25. Association for Symbolic Logic, A.K. Peters, Ltd. Wellesley, Massachusetts, 2006. x + 248 pp.

Handbook of philosophical logic, edited by D. M. Gabbay and F. Guenthner, vol. 10. Kluwer Acadamic Publishers, Dordrecht/Boston/London, 2004, 361 pp.

V. F. Hendricks. Mainstream and formal epistemology. Cambridge University Press, 2006, xii + 188 pp.

Bulletin of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 13 - March 2007

Reviews

Meeting Report

Other

Reviews