Articles
Degree Structures: Local and Global Investigations
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 369-389
-
- Article
- Export citation
Randomness and Computability: Open Questions
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 390-410
-
- Article
- Export citation
Calibrating Randomness
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-491
-
- Article
- Export citation
Reviews
David Hilbert's lectures on the foundations of geometry 1891–1902. edited by Michael Hallett and Ulrich Majer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891–1933, vol. 1. Springer, Berlin, Heidelberg and New York, 2004, xviii + 661 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 492-494
-
- Article
- Export citation
Martin Dietzfelbinger. Primality testing in polynomial time—from randomized algorithms to “PRIMES is in P”. Lecture Notes in Computer Science, vol. 3000. Springer-Verlag, 2004, x + 147 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 494-496
-
- Article
- Export citation
Danielle Macbeth. Frege's logic. Harvard University Press, Cambridge, Massachusetts, 2005, xii + 206 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 496-498
-
- Article
- Export citation
Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv + 202 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 498-499
-
- Article
- Export citation
David Makinson. Bridges from classical to nonmonotonic logic. Text in Computing, vol. 5. King's College, London, 2005, xvi + 216 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 499-502
-
- Article
- Export citation
Meeting Report
2005–06 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 503-516
-
- Article
- Export citation
2005 Annual Conference of the Australasian Association for Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 517-523
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 524-527
-
- Article
- Export citation
Front matter
BSL volume 12 issue 3 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 12 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation