Reviews
Kurt Gödel. Essays for his centennial, edited by Solomon Feferman, Charles Parsons, and Stephen G. Simpson, Cambridge University Press, Cambridge and others, 2010, x + 373 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 125-126
-
- Article
- Export citation
Other
Individual Members 2011
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 545-598
-
- Article
- Export citation
Reviews
Stevo Todorcevic. Introduction to Ramsey spaces. Annals of Mathematics Studies, vol. 174. Princeton University Press, New Jersey, 2010, 287 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 269-270
-
- Article
- Export citation
Stephen Cook and Phuong Nguyen. Logical foundations of proof complexity. Perspectives in Logic. Cambridge University Press, New York, 2010, 15 + 479 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 462-464
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 599-603
-
- Article
- Export citation
Reviews
Manuel Lerman. A framework for priority arguments. Lecture Notes in Logic, vol. 34. Cambridge University Press, New York, 2010, xvi + 176 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 464-467
-
- Article
- Export citation
Meeting Report
2010 North American Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 127-154
-
- Article
- Export citation
Reviews
Massimo Mugnai. Logic and mathematics in the seventeenth century. History and Philosophy of Logic, vol. 31 (2010), pp. 297–314.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 270-271
-
- Article
- Export citation
Meeting Report
2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 272-329
-
- Article
- Export citation
Reviews
Ilijas Farah. All automorphisms of the Calkin algebra are inner. Annals of Mathematics, vol. 173 (2010), no. 2, pp. 619–661.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 467-470
-
- Article
- Export citation
Front matter
BSL volume 17 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 04 July 2016, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 155-160
-
- Article
- Export citation
Front matter
BSL volume 17 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 04 July 2016, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 330-335
-
- Article
- Export citation
Back matter
BSL volume 17 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 04 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Obituary
In Memoriam: Gregory Hjorth 1963–2011
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 471-477
-
- Article
-
- You have access
- Export citation
Front matter
BSL volume 17 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 04 July 2016, pp. f1-f4
-
- Article
-
- You have access
- Export citation
Meeting Report
6th Conference on Computability in Europe “Programs, Proofs, Processes”
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 478-479
-
- Article
- Export citation
Back matter
BSL volume 17 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 04 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation
BSL volume 17 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 04 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation