Contents
Reviews
Nino B. Cocchiarella and Max A. Freund. Modal logic. An introduction to its syntax and semantics. Oxford University Press, Oxford, 2008, xi + 268 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 275-276
-
- Article
- Export citation
Other
16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009)
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 143-144
-
- Article
- Export citation
Reviews
E. Grädel, P.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema and S. Weinstein. Finite model theory and its applications. Texts in Theoretical Computer Science. Springer, Berlin, 2007, xiii + 437 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 406-407
-
- Article
- Export citation
Bobenrieth M. Andrés. The origins of the use of the argument of trivialization in the twentieth century. History and Philosophy of Logic, vol. 31 (2010), no. 2, pp. 111–121.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 537-538
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 539-544
-
- Article
- Export citation
Reviews
Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 407-409
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-150
-
- Article
- Export citation
Reviews
Katalin Bimbó and J. Michael Dunn. Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188. CSLI Publications, Stanford University, 2008, x + 382 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 277-278
-
- Article
- Export citation
J. Zapletal. Forcing idealized. Cambridge Tracts in Mathematics, vol. 174. Cambridge University Press, 2008, vi+ 314 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 278-279
-
- Article
- Export citation
Other
Individual Members 2010
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 545-599
-
- Article
- Export citation
Reviews
Reasoning in simple type theory – Festschrift in honor of Peter B. Andrews on his 70th birthday, edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Studies in Logic, vol. 17. College Publications, London, 2008, 454 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 409-411
-
- Article
- Export citation
Corrigendum
Corrigendum
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 151
-
- Article
-
- You have access
- Export citation
Reviews
John P. Burgess. Philosophical logic. Princeton University Press, Princeton NJ. 2009, viii + 153 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-413
-
- Article
- Export citation
John Harrison. Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge, UK, 2009, xix + 681 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 279-281
-
- Article
- Export citation
Front matter
BSL volume 60 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 600-604
-
- Article
- Export citation
Reviews
Steven Givant and Paul Halmos. Introduction to Boolean algebras. Undergraduate Texts in Mathematics. Springer, 2009, xiv + 574 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 281-282
-
- Article
- Export citation
Martin Peterson. An introduction to decision theory. Cambridge University Press, Cambridge, 2009, x + 317 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 413-415
-
- Article
- Export citation
Front matter
BSL volume 16 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 60 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
-
- Article
-
- You have access
- Export citation