Contents
Reviews
Richard Tieszen. Phenomenology, logic, and the philosophy of mathematics. Cambridge University Press, Cambridge, 2005, x + 357 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 365-367
-
- Article
- Export citation
Filip Widebäck. Identity of proofs. Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy, vol. 22. Almqvist and Wiksell International, Stockholm, 2001, 85 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 100-102
-
- Article
- Export citation
Ross Brady. Universal logic. CSLI Lecture Notes, vol. 109. CSLI Publications, Stanford, 2006, xii + 346 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 544-547
-
- Article
- Export citation
Sergio Galvan. Einführung in die Unvollständigkeitstheoreme. Mentis, Paderborn, 2006, 167 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 243-244
-
- Article
- Export citation
K. Sigmund, J. Dawson, and K. Mühlberger. Kurt Gödel: Das Album. The Album. Vieweg, Wiesbaden 2006, 225 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 547-549
-
- Article
- Export citation
Leo Corry. Modern algebra and the rise of mathematical structures. Second edition. Birkhäuser Verlag, Basel, 2004, xvi + 451 pp. First edition 1996.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 102-104
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 368-370
-
- Article
- Export citation
Anders Kock. Synthetic differential geometry. 2nd edition, London Mathematical Society Lecture Note Series, vol. 333. Cambridge University Press, 2006, xii + 233 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 244-245
-
- Article
- Export citation
Jonathan Barnes. Truth, etc. Oxford University Press, Oxford, New York, 2007, viii + 568 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 549-552
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 370-371
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 104-106
-
- Article
- Export citation
Mark Vorobej. A Theory of Argument. Cambridge University Press, Cambridge, 2006, x + 324 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 245-246
-
- Article
- Export citation
S. Awodey. Category theory. Oxford Logic Guides, vol. 49. Oxford Sciences Publications, Oxford, 2006, xi + 256 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 371-372
-
- Article
- Export citation
Reverse Mathematics 2001, edited by Stephen G. Simpson, Lecture Notes in Logic, vol. 21. ASL and AK Peters, Ltd., Wellesley, Massachusetts, x + 401 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 106-109
-
- Article
- Export citation
J. Flum and M. Grohe. Parameterized complexity theory. Texts in Theoretical Computer Science. Springer, Berlin, 2006, xiii + 493 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 246-248
-
- Article
- Export citation
Meeting Report
2007 Spring Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 553-560
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 561-565
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 372-374
-
- Article
- Export citation
Handbook of philosophical logic, edited by D. M. Gabbay and F. Guenthner, vol. 10. Kluwer Acadamic Publishers, Dordrecht/Boston/London, 2004, 361 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 248-250
-
- Article
- Export citation
V. F. Hendricks. Mainstream and formal epistemology. Cambridge University Press, 2006, xii + 188 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 110-114
-
- Article
- Export citation