Reviews
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.
-
- Published online by Cambridge University Press:
- 30 December 2016, pp. 525-526
-
- Article
- Export citation
Vladimir Kanovei, Marcin Sabok, and Jindřich Zapletal, Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013, viii + 269 pp.
-
- Published online by Cambridge University Press:
- 10 October 2016, pp. 358-360
-
- Article
- Export citation
Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 287-288
-
- Article
- Export citation
Back Cover (OBC, IBC) and matter
BSL volume 22 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 29 March 2016, pp. b1-b2
-
- Article
-
- You have access
- Export citation
In Memoriam
IN MEMORIAM: BARRY COOPER 1943–2015
-
- Published online by Cambridge University Press:
- 10 October 2016, pp. 361-365
-
- Article
-
- You have access
- Export citation
Reviews
Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 288-289
-
- Article
- Export citation
Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892. - Manuel Lerman, Reed Solomon, and Henry Towsner, Separating principles below Ramsey’s Theorem for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ does not imply WKL0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620. - Lu Liu, Cone avoiding closed sets. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630. - Wei Wang, Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1–25.
-
- Published online by Cambridge University Press:
- 30 December 2016, pp. 526-530
-
- Article
- Export citation
Gregory H. Moore (ed.), The Collected Papers of Bertrand Russell, Volume 5: Toward “Principia Mathematica”, London and New York: Routledge, 2014, c + 954 and 10 plates.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 289-291
-
- Article
- Export citation
Meeting Report
2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015
-
- Published online by Cambridge University Press:
- 10 October 2016, pp. 366-435
-
- Article
- Export citation
Reviews
M. Carrara, A. Arapinis, and F. Moltmann, editors. Unity and Plurality: Logic, Philosophy, and Linguistics. Oxford University Press, 2016.
-
- Published online by Cambridge University Press:
- 30 December 2016, pp. 530-532
-
- Article
- Export citation
Byunghan Kim. Simplicity Theory. Oxford Logic Guides, 53. Oxford University Press, Oxford, 2014, x+224 pp.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 291-293
-
- Article
- Export citation
Meeting Report
ASSOCIATION FOR SYMBOLIC LOGIC
-
- Published online by Cambridge University Press:
- 30 December 2016, pp. 533-537
-
- Article
- Export citation
22ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2015) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bloomington, Indiana July 20–23, 2015
-
- Published online by Cambridge University Press:
- 10 October 2016, pp. 436-437
-
- Article
- Export citation
In Memoriam
IN MEMORIAM: HARTLEY ROGERS, JR. 1926–2015
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 294-297
-
- Article
-
- You have access
- Export citation
Other
INDIVIDUAL MEMBERS 2016
-
- Published online by Cambridge University Press:
- 30 December 2016, pp. 538-578
-
- Article
- Export citation
Meeting Report
MODEL THEORY AND GROUPS, ISTANBUL 5 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Istanbul, Turkey October 8–10, 2015
-
- Published online by Cambridge University Press:
- 10 October 2016, p. 438
-
- Article
- Export citation
Notices
Notices
-
- Published online by Cambridge University Press:
- 10 October 2016, pp. 439-444
-
- Article
-
- You have access
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 30 December 2016, pp. 579-584
-
- Article
-
- You have access
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 298-304
-
- Article
-
- You have access
- Export citation
Erratum
ERRATUM
-
- Published online by Cambridge University Press:
- 30 December 2016, p. 585
-
- Article
-
- You have access
- Export citation