1635 results in Bulletin of Symbolic Logic
The Complexity of Classification Problems for Models of Arithmetic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 345-358
- Print publication:
- September 2010
-
- Article
- Export citation
BSL volume 16 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b7
- Print publication:
- September 2010
-
- Article
-
- You have access
- Export citation
Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 407-409
- Print publication:
- September 2010
-
- Article
- Export citation
2010 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 438-444
- Print publication:
- September 2010
-
- Article
- Export citation
What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 359-377
- Print publication:
- September 2010
-
- Article
- Export citation
E. Grädel, P.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema and S. Weinstein. Finite model theory and its applications. Texts in Theoretical Computer Science. Springer, Berlin, 2007, xiii + 437 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 406-407
- Print publication:
- September 2010
-
- Article
- Export citation
Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, and Annie di Donna. Logicomix. Bloomsbury, New York, 2009, 347 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 419-420
- Print publication:
- September 2010
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 450-455
- Print publication:
- September 2010
-
- Article
- Export citation
2009–2010 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 430-437
- Print publication:
- September 2010
-
- Article
- Export citation
The 2009 Annual Conference of the Australasian Association for Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 445-449
- Print publication:
- September 2010
-
- Article
- Export citation
Relative Truth Definability of Axiomatic Truth Theories
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 305-344
- Print publication:
- September 2010
-
- Article
- Export citation
Matthias Schirn. On translating Frege’s die Grundlagen der Arithmetik. History and Philosophy of Logic, vol. 31 (2010), no. 1, pp. 47–72.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 428-429
- Print publication:
- September 2010
-
- Article
- Export citation
G. Metcalfe, N. Olivetti and D. Gabbay. Proof theory for fuzzy logics. Applied Logic Series, vol. 36. Springer, 2009, viii + 276 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 415-419
- Print publication:
- September 2010
-
- Article
- Export citation
Reverse Mathematics: The Playground of Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 378-402
- Print publication:
- September 2010
-
- Article
- Export citation
Steven Givant and Paul Halmos. Introduction to Boolean algebras. Undergraduate Texts in Mathematics. Springer, 2009, xiv + 574 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 281-282
- Print publication:
- June 2010
-
- Article
- Export citation
An Invitation to Model-Theoretic Galois Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 261-269
- Print publication:
- June 2010
-
- Article
- Export citation
John Harrison. Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge, UK, 2009, xix + 681 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 279-281
- Print publication:
- June 2010
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 286-287
- Print publication:
- June 2010
-
- Article
- Export citation
Nino B. Cocchiarella and Max A. Freund. Modal logic. An introduction to its syntax and semantics. Oxford University Press, Oxford, 2008, xi + 268 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 275-276
- Print publication:
- June 2010
-
- Article
- Export citation
Robin Milner. The space and motion of communicating agents. Cambridge University Press, 2009, 212 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 282-284
- Print publication:
- June 2010
-
- Article
- Export citation