1635 results in Bulletin of Symbolic Logic
Stephen Cook and Phuong Nguyen. Logical foundations of proof complexity. Perspectives in Logic. Cambridge University Press, New York, 2010, 15 + 479 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 3 / September 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 462-464
- Print publication:
- September 2011
-
- Article
- Export citation
A Descriptive View of Combinatorial Group Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 252-264
- Print publication:
- June 2011
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 330-335
- Print publication:
- June 2011
-
- Article
- Export citation
Massimo Mugnai. Logic and mathematics in the seventeenth century. History and Philosophy of Logic, vol. 31 (2010), pp. 297–314.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 270-271
- Print publication:
- June 2011
-
- Article
- Export citation
Defining Integers
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 230-251
- Print publication:
- June 2011
-
- Article
-
- You have access
- Export citation
BSL volume 17 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 04 July 2016, pp. b1-b3
- Print publication:
- June 2011
-
- Article
-
- You have access
- Export citation
Stevo Todorcevic. Introduction to Ramsey spaces. Annals of Mathematics Studies, vol. 174. Princeton University Press, New Jersey, 2010, 287 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 269-270
- Print publication:
- June 2011
-
- Article
- Export citation
BSL volume 17 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 04 July 2016, pp. f1-f4
- Print publication:
- June 2011
-
- Article
-
- You have access
- Export citation
Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 161-229
- Print publication:
- June 2011
-
- Article
- Export citation
2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 272-329
- Print publication:
- June 2011
-
- Article
- Export citation
Su Gao. Invariant descriptive set theory. Pure and applied mathematics. Chapman & Hall/CRC, Boca Raton, 2009, xiv + 392 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 265-267
- Print publication:
- June 2011
-
- Article
- Export citation
Mary Leng. Mathematics and reality. Oxford University Press, Oxford, 2010, x + 278 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 267-268
- Print publication:
- June 2011
-
- Article
- Export citation
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 125-126
- Print publication:
- March 2011
-
- Article
- Export citation
Combinatorial Dichotomies in Set Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-72
- Print publication:
- March 2011
-
- Article
- Export citation
Stevo Todorcevic. Walks on ordinals and their characteristics. Progress in Mathematics, vol. 263. Birkhäuser Verlag, Basel, 2007, vi + 324 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 118-119
- Print publication:
- March 2011
-
- Article
- Export citation
Effective Choice and Boundedness Principles in Computable Analysis
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 73-117
- Print publication:
- March 2011
-
- Article
- Export citation
2010 North American Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 127-154
- Print publication:
- March 2011
-
- Article
- Export citation
BSL volume 17 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 04 July 2016, pp. f1-f6
- Print publication:
- March 2011
-
- Article
-
- You have access
- Export citation
BSL volume 17 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 04 July 2016, pp. b1-b3
- Print publication:
- March 2011
-
- Article
-
- You have access
- Export citation
Jacques Sakarovitch. Elements of automata theory. Cambridge University Press, Cambridge, 2009, xxiv + 758 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 122-124
- Print publication:
- March 2011
-
- Article
- Export citation