1635 results in Bulletin of Symbolic Logic
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. 512-518
- Print publication:
- September 2013
-
- Article
- Export citation
24th European Summer School on Logic, Language and Information (ESSLLI 2012)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 519-522
- Print publication:
- September 2013
-
- Article
- Export citation
Logic in the 1930s: Type Theory and Model Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 4 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 433-472
- Print publication:
- September 2013
-
- Article
- Export citation
Shift-complex sequences
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 199-215
- Print publication:
- June 2013
-
- Article
- Export citation
BSL volume 19 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. f1-f2
- Print publication:
- June 2013
-
- Article
-
- You have access
- Export citation
BSL volume 19 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. b1-b2
- Print publication:
- June 2013
-
- Article
-
- You have access
- Export citation
The foundational problem of logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 145-198
- Print publication:
- June 2013
-
- Article
- Export citation
2012 North American Annual Meeting of the Association for Symbolic Logic, University of Wisconsin, Madison, WI, USA, March 31–April 3, 2012
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 236-256
- Print publication:
- June 2013
-
- Article
- Export citation
Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II, edited by Raf Cluckers, Johannes Nicaise and Julien Sebag, London Mathematical Society Lecture Note Series, 383 and 384. Cambridge University Press, Cambridge, 2011, 346 and 262 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 216-219
- Print publication:
- June 2013
-
- Article
- Export citation
2011–2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA, January 6–7, 2012
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 223-235
- Print publication:
- June 2013
-
- Article
- Export citation
Twelfth Asian Logic Conference, Victoria University of Wellington, Wellington, New Zealand, December 15–20, 2011
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 257-283
- Print publication:
- June 2013
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 284-288
- Print publication:
- June 2013
-
- Article
- Export citation
Patricia A. Blanchette. Frege's conception of logic. Oxford University Press, 2012. xv + 190 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 219-222
- Print publication:
- June 2013
-
- Article
- Export citation
Bernard Linsky. The Evolution of Principia Mathematica: Bertrand Russell's manuscripts and notes for the second edition. Cambridge University Press, Cambridge, 2011, vii + 407 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 106-108
- Print publication:
- March 2013
-
- Article
- Export citation
BSL volume 19 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. f1-f2
- Print publication:
- March 2013
-
- Article
-
- You have access
- Export citation
2011 Winter Meeting of the Association for Symbolic Logic, Washington Marriott Wardman Park Hotel, Washington, DC, December 27–29, 2011
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 127-134
- Print publication:
- March 2013
-
- Article
- Export citation
In Memoriam: Michael Dummett 1925–2011
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 119-122
- Print publication:
- March 2013
-
- Article
-
- You have access
- Export citation
André Nies. Lowness properties and randomness. Advances in Mathematics, vol. 197 (2005), no. 1, pp. 274–305. - Bjørn Kjos-Hanssen, André Nies, and Frank Stephan. Lowness for the class of Schnorr random reals. SIAM Journal on Computing, vol. 35 (2005), no. 3, pp. 647–657. - Noam Greenberg and Joseph S. Miller. Lowness for Kurtz randomness. The Journal of Symbolic Logic, vol. 74 (2009), no. 2, pp. 665–678. - Laurent Bienvenu and Joseph S. Miller. Randomness and lowness notions via open covers. Annals of Pure and Applied Logic, vol. 163 (2012), no. 5, pp. 506–518. - Johanna N. Y. Franklin, Frank Stephan, and Liang. Yu Relativizations of randomness and genericity notions. The Bulletin of the London Mathematical Society, vol. 43 (2011), no. 4, pp. 721–733. - George Barmpalias, Joseph S. Miller, and André Nies. Randomness notions and partial relativization. Israel Journal of Mathematics, vol. 191 (2012), no. 2, pp. 791–816.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 115-118
- Print publication:
- March 2013
-
- Article
- Export citation
Davide Sangiorgi. Introduction to bisimulation and coinduction. Cambridge University Press, 2012, 247 pp. - Advanced topics in bisimulation and coinduction, edited by Davide Sangiorgi and Jan Rutten, Cambridge Tracts in Theoretical Computer Science, vol. 52. Cambridge University Press, 2012, 326 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 108-110
- Print publication:
- March 2013
-
- Article
- Export citation
In Memoriam: Ruth Barcan Marcus 1921–2012
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 123-126
- Print publication:
- March 2013
-
- Article
-
- You have access
- Export citation