Articles
Describing Groups
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 305-339
-
- Article
- Export citation
Relating First-Order Set Theories and Elementary Toposes
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 340-358
-
- Article
- Export citation
Reviews
Larry Wos and Gail W. Pieper. A fascinating country in the world of computing—your guide to automated reasoning. World Scientific, Singapore, New Jersey, London, Hong Kong, 1999, 608 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 359-361
-
- Article
- Export citation
John L. Bell. The continuous and the infinitesimal in mathematics and philosophy. Polimetrica, International Scientific Publisher, Monza-Milano, 2005, 349 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 361-363
-
- Article
- Export citation
Peter G. Hinman. Fundamentals of mathematical logic. A K Peters, Wellesley, Massachusetts, 2005, xvi + 878 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 363-365
-
- Article
- Export citation
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
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
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
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
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
Meeting Report
2006–07 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 375-385
-
- Article
- Export citation
2007 Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 386-408
-
- Article
- Export citation
2006 Annual Meeting of the Association for Symbolic Logic — Addendum
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 409
-
- Article
- Export citation
Other
13th Workshop on Logic, Language, Information and Computation (WoLLIC '2006)
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 410-411
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 412-416
-
- Article
- Export citation
Front matter
BSL volume 13 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f7
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 13 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation