1635 results in Bulletin of Symbolic Logic
BSL volume 12 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- September 2006
-
- Article
-
- You have access
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 498-499
- Print publication:
- September 2006
-
- Article
- Export citation
2005 Annual Conference of the Australasian Association for Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 517-523
- Print publication:
- September 2006
-
- Article
- Export citation
Closing the Circle: An Analysis of Emil Post's Early Work
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 267-289
- Print publication:
- June 2006
-
- Article
- Export citation
Graham Priest. An introduction to non-classical logic. Cambridge University Press, 2001, xxi + 242 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 294-295
- Print publication:
- June 2006
-
- Article
- Export citation
John Nolt. Logics. Wadsworth, 1997, xii + 468 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 290-291
- Print publication:
- June 2006
-
- Article
- Export citation
David J. Pym and Eike Ritter. Reductive logic and proof-search—Proof theory, semantics, and control. Oxford Logic Guides, vol. 45. Oxford Science Publications, 2004, 208 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 302-304
- Print publication:
- June 2006
-
- Article
- Export citation
Classification from a Computable Viewpoint
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 191-218
- Print publication:
- June 2006
-
- Article
- Export citation
Weak Distributivity, A Problem of Von Neumann and the Mystery of Measurability
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 241-266
- Print publication:
- June 2006
-
- Article
- Export citation
Linear logic in computer science, edited by T. Ehrhard, J.-Y. Girard, P. Ruet, and P. Scott, London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 297-299
- Print publication:
- June 2006
-
- Article
- Export citation
Fairouz Kamareddine, Twan Laan, and Rob Nederpelt. A modern perspective on type theory—From its origins until today. Applied Logic Series, vol. 29. Kluwer Academic Publishers, Dordrecht, 2004, xiv + 357 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 296-297
- Print publication:
- June 2006
-
- Article
- Export citation
BSL volume 12 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- June 2006
-
- Article
-
- You have access
- Export citation
Michael Mitzenmacher and Eli Upfal. Probability and computing: Randomized algorithms and probabilistic analysis. Cambridge University Press, Cambridge, 2005, 386 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 304-308
- Print publication:
- June 2006
-
- Article
- Export citation
BSL volume 12 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- June 2006
-
- Article
-
- You have access
- Export citation
Classifying the Provably Total Functions of PA
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 177-190
- Print publication:
- June 2006
-
- Article
- Export citation
Itay Neeman. The determinacy of long games. De Gruyter Series in Logic and its Applications, vol. 7. Walter de Gruyter, Berlin, 2004, xi + 317 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-302
- Print publication:
- June 2006
-
- Article
- Export citation
Bob Hale and Crispin Wright. The reason's proper study: Essays toward a neo-Fregean philosophy of mathematics. Oxford University Press, New York. 2001, 472 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 291-294
- Print publication:
- June 2006
-
- Article
- Export citation
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 310-361
- Print publication:
- June 2006
-
- Article
- Export citation
Eric Schechter. Classical and nonclassical logic: an introduction to the mathematics of propositions. Princeton University Press, Princeton and Oxford, 2005, x + 507 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 308-309
- Print publication:
- June 2006
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 362-367
- Print publication:
- June 2006
-
- Article
- Export citation