1635 results in Bulletin of Symbolic Logic
2013 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Waterloo Waterloo, Ontario, Canada May 8–11, 2013
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 105-133
- Print publication:
- March 2014
-
- Article
- Export citation
IN MEMORIAM: MIKHAIL A. TAITSLIN 1936–2013
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 99-102
- Print publication:
- March 2014
-
- Article
-
- You have access
- Export citation
BSL volume 20 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. b1-b3
- Print publication:
- March 2014
-
- Article
-
- You have access
- Export citation
Bruno Courcelle and Joost Engelfriet. Graph structure and monadic second-order logic. Encyclopedia of Mathematics and Its Applications, vol. 138. Cambridge University Press, 2012, xiv + 728 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 394-396
- Print publication:
- September 2013
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 523-527
- Print publication:
- September 2013
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 584-588
- Print publication:
- September 2013
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 427-432
- Print publication:
- September 2013
-
- Article
- Export citation
L. A. Levin. Some theorems on the algorithmic approach to probability theory and information theory (1971 Dissertation directed by A. N. Kolmogorov). Annals of Pure and Applied Logic, vol. 162 (2010), pp. 224–235
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 397-399
- Print publication:
- September 2013
-
- Article
- Export citation
Ernst Zermelo: Collected Works. Gesammelte Werke. Volume I: Set Theory, Miscellania. Mengenlehre, Varia, edited by H.-D. Ebbinghaus and A. Kanamori, Springer, Berlin and Heidelberg 2010, xxiv + 654 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 491-492
- Print publication:
- September 2013
-
- Article
- Export citation
Analytic Equivalence Relations and the Forcing Method
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 473-490
- Print publication:
- September 2013
-
- Article
- Export citation
Interpretability in Robinson's Q
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 289-317
- Print publication:
- September 2013
-
- Article
- Export citation
19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 425-426
- Print publication:
- September 2013
-
- Article
- Export citation
Algorithmic Randomness and Measures of Complexity
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 318-350
- Print publication:
- September 2013
-
- Article
- Export citation
XV Latin American Symposium on Mathematical Logic (Slalm 2012)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 402-424
- Print publication:
- September 2013
-
- Article
- Export citation
Individual Members 2013
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 528-583
- Print publication:
- September 2013
-
- Article
- Export citation
2012–2013 Winter Meeting of The Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 497-511
- Print publication:
- September 2013
-
- Article
- Export citation
Wadge degrees and projective ordinals. The Cabal Seminar, Volume II, edited by A. S. Kechris, B. Löwe, and J.R. Steel, Lecture Notes in Logic, vol. 37. Association for Symbolic Logic and Cambridge University Press, Cambridge, 2012, xxii + 526 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 492-496
- Print publication:
- September 2013
-
- Article
- Export citation
Mark Colyvan. An introduction to the philosophy of mathematics. Cambridge Introductions to Philosophy. Cambridge University Press, Cambridge, UK, 2012, 198 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 396-397
- Print publication:
- September 2013
-
- Article
- Export citation
Uri Andrews. A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 (2011), no. 3, pp. 883–896. - Bakhadyr Khoussainov and Antonio Montalbán. A computable ℵ0-categorical structure whose theory computes true arithmetic. The Journal of Symbolic Logic, vol. 72 (2010), no. 2, pp. 728–740.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 400-401
- Print publication:
- September 2013
-
- Article
- Export citation
On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 351-393
- Print publication:
- September 2013
-
- Article
- Export citation