Contents
Reviews
G. Metcalfe, N. Olivetti and D. Gabbay. Proof theory for fuzzy logics. Applied Logic Series, vol. 36. Springer, 2009, viii + 276 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 415-419
-
- Article
- Export citation
Robin Milner. The space and motion of communicating agents. Cambridge University Press, 2009, 212 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 282-284
-
- Article
- Export citation
Back matter
BSL volume 16 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
-
- Article
-
- You have access
- Export citation
Reviews
Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, and Annie di Donna. Logicomix. Bloomsbury, New York, 2009, 347 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 419-420
-
- Article
- Export citation
Jc Beall. Spandrels of truth. Oxford University Press, Oxford, 2009, xiv + 154 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-286
-
- Article
- Export citation
Gottfried Gabriel, Karlheinz Huelser, and Sven Schlotter. Zur Miete bei Frege—Rudolf Hirzel und die Rezeption der stoischen Logik und Semantik in Jena. History and Philosophy of Logic, vol. 30 (2009), pp. 369–388.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 286-287
-
- Article
- Export citation
Saharon Shelah. Middle diamond. Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. - Saharon Shelah. Diamonds. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 6, pp. 2151–2161. - Martin Zeman. Diamond, GCH and weak square. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 5, pp. 1853–1859.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 420-423
-
- Article
- Export citation
S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 (1991), no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 (1986), no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 (2006), no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 (1987), no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 (1994), no. 3, pp. 311–327.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 424-428
-
- Article
- Export citation
Meeting Report
11th Asian Logic Conference
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 288-298
-
- Article
- Export citation
Reviews
Matthias Schirn. On translating Frege’s die Grundlagen der Arithmetik. History and Philosophy of Logic, vol. 31 (2010), no. 1, pp. 47–72.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 428-429
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-304
-
- Article
- Export citation
Meeting Report
2009–2010 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 430-437
-
- Article
- Export citation
Other
BSL volume 16 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 14 December 2016, pp. f1-f2
-
- Article
- Export citation
BSL volume 16 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 14 December 2016, pp. b1-b2
-
- Article
- Export citation
Meeting Report
2010 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 438-444
-
- Article
- Export citation
The 2009 Annual Conference of the Australasian Association for Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 445-449
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 450-455
-
- Article
- Export citation
Front matter
BSL volume 16 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b7
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 16 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
-
- Article
-
- You have access
- Export citation