Contents
Reviews
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.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 108-110
-
- Article
- Export citation
Meeting Report
2013 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 512-518
-
- Article
- Export citation
Reviews
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
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 397-399
-
- Article
- Export citation
Other
2012 North American Annual Meeting of the Association for Symbolic Logic, University of Wisconsin, Madison, WI, USA, March 31–April 3, 2012
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 236-256
-
- Article
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 400-401
-
- 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.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 110-112
-
- Article
- Export citation
Other
24th European Summer School on Logic, Language and Information (ESSLLI 2012)
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 519-522
-
- Article
- Export citation
Twelfth Asian Logic Conference, Victoria University of Wellington, Wellington, New Zealand, December 15–20, 2011
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 257-283
-
- Article
- Export citation
XV Latin American Symposium on Mathematical Logic (Slalm 2012)
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 402-424
-
- Article
- Export citation
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 523-527
-
- Article
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 112-115
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 284-288
-
- Article
- Export citation
Front matter
BSL volume 19 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Other
Individual Members 2013
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 528-583
-
- Article
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 115-118
-
- Article
- Export citation
Other
19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012)
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 425-426
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 584-588
-
- Article
- Export citation
Back matter
BSL volume 19 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 427-432
-
- Article
- Export citation
In Memoriam
In Memoriam: Michael Dummett 1925–2011
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 119-122
-
- Article
-
- You have access
- Export citation