Articles
PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 291-305
-
- Article
- Export citation
THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 306-318
-
- Article
- Export citation
KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 319-335
-
- Article
- Export citation
Reviews
Model theory, Keisler measures, and groups - Ehud Hrushovski, Ya’acov Peterzil and Anand Pillay, Groups, measures, and the NIP. Journal of the American Mathematical Society, vol. 21 (2008), no. 2, pp. 563–596. - Ehud Hrushovski and Anand Pillay, On NIP and invariant measures. Journal of the European Mathematical Society, vol.13 (2011), no. 4, pp. 1005–1061. - Ehud Hrushovski, Anand Pillay, and Pierre Simon, Generically stable and smooth measures in NIP theories. Transactions of the American Mathematical Society, vol. 365 (2013), no. 5, pp. 2341–2366.
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 336-339
-
- Article
- Export citation
Meeting Report
17TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (SLALM 2017) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Puebla,México June 26–30, 2017
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 340-376
-
- Article
- Export citation
2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Savannah Convention Center Savannah, Georgia, USA January 3–6, 2018
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 377-383
-
- Article
- Export citation
ELEVENTH PANHELLENIC LOGIC SYMPOSIUM (PLS 11, 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Delphi, Greece July 12–16, 2017
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 384-385
-
- Article
- Export citation
24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18–21, 2017
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 386-387
-
- Article
- Export citation
Notices
Notices
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 388-391
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
BSL volume 24 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. f1-f3
-
- Article
-
- You have access
- Export citation
Back Cover (OBC, IBC) and matter
BSL volume 24 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. b1-b2
-
- Article
-
- You have access
- Export citation