Articles
Gödel and Set Theory
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 153-188
-
- Article
- Export citation
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 189-225
-
- Article
- Export citation
Communications
Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 226-239
-
- Article
- Export citation
Reviews
Mark Burgin. Super-recursive algorithms. Monographs in Computer Science, Springer, New York, 2005, xiv + 304 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 240-241
-
- Article
- Export citation
Torkel Franzén. Gödel's theorem: an incomplete guide to its use and abuse. AK Peters, Ltd., Wellesley, Massachusetts, 2005, x + 172 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 241-243
-
- 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
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
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
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
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
Meeting Report
2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 251-298
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-304
-
- Article
- Export citation
Front matter
BSL volume 13 issue 2 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 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation