1635 results in Bulletin of Symbolic Logic
Conference on Computability, Complexity and Randomness, Isaac Newton Institute, Cambridge, UK, July 2–6, 2012
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 135-136
- Print publication:
- March 2013
-
- Article
- Export citation
The hyperuniverse program
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 77-96
- Print publication:
- March 2013
-
- Article
- Export citation
BSL volume 19 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. b1-b3
- Print publication:
- March 2013
-
- Article
-
- You have access
- Export citation
Non-standard lattices and o-minimal groups
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 56-76
- Print publication:
- March 2013
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 137-143
- Print publication:
- March 2013
-
- Article
- Export citation
The Horn theory of Boole's partial algebras
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 97-105
- Print publication:
- March 2013
-
- Article
- Export citation
The Vienna Circle in Hungary, edited by András Máté, Miklós Rédei and Friedrich Stadler, Springer, Wien–New York, 2011, 300 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 110-112
- Print publication:
- March 2013
-
- Article
- Export citation
Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, and Charles Steinhorn, London Mathematical Society Lecture Note Series. Cambridge University Press, 2011, 356 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 112-115
- Print publication:
- March 2013
-
- Article
- Export citation
Descriptive inner model theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 1-55
- Print publication:
- March 2013
-
- Article
- Export citation
Jan Krajíček. Forcing with random variables and proof complexity. London Mathematical Society Lecture Note Series, vol. 232. Cambridge University Press, 2011, xvi + 247 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. 576-578
- Print publication:
- December 2012
-
- Article
- Export citation
The philosophy of logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. 481-504
- Print publication:
- December 2012
-
- Article
- Export citation
Jeffrey Shallit and Ming-Wei Wang. Automatic complexity of strings. Journal of Automata, Languages and Combinatorics, vol. 6 (2001), pp. 537–554. - Cristian S. Calude, Kai Salomaa and Tania K. Roblot. Finite-state complexity and randomness. Theoretical Computer Science, vol. 412 (2011), no. 41, pp. 5668–5677. - Cristian S. Calude, Kai Salomaa and Tania K. Roblot. State-size hierarchy for finite-state complexity. International Journal of Foundations of Computer Science, vol. 23 (2012), no. 1, pp. 37–50.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. 579-580
- Print publication:
- December 2012
-
- Article
- Export citation
The graph-theoretic approach to descriptive set theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. 554-575
- Print publication:
- December 2012
-
- Article
- Export citation
Fifty years of the spectrum problem: survey and new results
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. 505-553
- Print publication:
- December 2012
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. 640-644
- Print publication:
- December 2012
-
- Article
- Export citation
Individual Members 2012
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. 586-639
- Print publication:
- December 2012
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. 581-585
- Print publication:
- December 2012
-
- Article
- Export citation
BSL volume 18 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. f1-f2
- Print publication:
- December 2012
-
- Article
-
- You have access
- Export citation
BSL volume 18 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2014, pp. b1-b6
- Print publication:
- December 2012
-
- Article
-
- You have access
- Export citation
Gentzen's Proof Systems: Byproducts in a Work of Genius
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 313-367
- Print publication:
- September 2012
-
- Article
- Export citation