1635 results in Bulletin of Symbolic Logic
Leon Horsten. The Tarskian Turn: deflationism and axiomatic truth. MIT Press, Cambridge, Massachusetts, 2011, xii + 157 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 403-405
- Print publication:
- September 2012
-
- Article
- Export citation
George Barmpalias, Andrew E. M. Lewis and Keng Meng NG. The importance of Π01 classes in effective randomness. The Journal of Symbolic Logic, vol. 75 (2010), pp. 387–400. - George Barmpalias, Andrew E. M. Lewis and Frank Stephan. Π01 classes, LR degrees and Turing degrees. Annals of Pure and Applied Logic, vol. 156 (2008), pp. 21–38. - Antonin Kučera. Measure, Π01 classes and complete extensions of PA. Recursion Theory Week (Oberwofach, 1984). Lecture Notes in Mathematics, vol. 1141. Springer, Berlin, 1985, pp. 245–259. - Frank Stephan. Martin-Löf randomness and PA complete sets. Logic Colloquium '02. Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, La Jolla, CA, 2006, pp. 342–348.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 409-412
- Print publication:
- September 2012
-
- Article
- Export citation
Vaught's Theorem on Axiomatizability by a Scheme
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 382-402
- Print publication:
- September 2012
-
- Article
- Export citation
Alasdair Urquhart. Henry M. Sheffer and notational relativity. History and Philosophy of Logic, vol. 33 (2012), pp. 33–47.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 408-409
- Print publication:
- September 2012
-
- Article
- Export citation
Model Theory of Analytic Functions: Some Historical Comments
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 368-381
- Print publication:
- September 2012
-
- Article
- Export citation
Jouko Väänänen. Models and games. Cambridge Studies in Advanced Mathematics, vol. 132. Cambridge University Press, Cambridge, 2011, xii + 367 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 406-408
- Print publication:
- September 2012
-
- Article
- Export citation
BSL volume 18 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. f1-f2
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
BSL volume 18 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. b1-b2
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 477-480
- Print publication:
- September 2012
-
- Article
- Export citation
2011 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '11
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 418-476
- Print publication:
- September 2012
-
- Article
- Export citation
Enrique Casanovas. Simple theories and hyperimaginaries. Lecture Notes in Logic, vol. 39. ASL and Cambridge University Press, Cambridge, 2011, 184 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 405-406
- Print publication:
- September 2012
-
- Article
- Export citation
In Memoriam: Ernst Specker 1920–2011
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 413-417
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
The development of modern logic, edited by Leila Haaparanta, Oxford University Press, 2009. x + 999 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 268-270
- Print publication:
- June 2012
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 306-310
- Print publication:
- June 2012
-
- Article
- Export citation
BSL volume 18 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 07 February 2017, pp. b1-b2
- Print publication:
- June 2012
-
- Article
-
- You have access
- Export citation
Ivan Welty. Frege on indirect proof. History and Philosophy of Logic, Vol. 32 (2011), pp. 283–290.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 273-274
- Print publication:
- June 2012
-
- Article
- Export citation
BSL volume 18 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 07 February 2017, pp. f1-f2
- Print publication:
- June 2012
-
- Article
-
- You have access
- Export citation
The Stable core
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 261-267
- Print publication:
- June 2012
-
- Article
- Export citation
On Tarski's Foundations of the Geometry of Solids
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 230-260
- Print publication:
- June 2012
-
- Article
- Export citation
Allen L. Mann, Gabriel Sandu and Merlijn Sevenster. Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, Vol. 386. Cambridge University Press, Cambridge, England, 2011, vi + 208 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 272-273
- Print publication:
- June 2012
-
- Article
- Export citation