Contents
Meeting Report
2018 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Western Illinois University, Macomb, IL, USA May 16–19, 2018
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 493-525
-
- Article
- Export citation
Thesis Abstracts
Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 202-203
-
- Article
-
- You have access
- Export citation
Meeting Report
13TH COMPUTABILITY IN EUROPE CONFERENCE (CIE 2017) UNVEILING DYNAMICS AND COMPLEXITY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Turku, Finland June 12–16, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 526
-
- Article
- Export citation
2017 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Seattle Seattle, Washington, USA April 12–13, 2017
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 204-210
-
- Article
- Export citation
2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 211-277
-
- Article
- Export citation
VIII CONFERENCE AND III SCHOOL ON TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL), 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Prague and Olomouc, Czech Republic June 20–30, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 527-528
-
- Article
- Export citation
THE 2017 ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC University of Adelaide, Australia July 6–7, 2017
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 278-282
-
- Article
- Export citation
MODEL THEORY IN WROCŁAW 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland 30 June–2 July, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 529
-
- Article
- Export citation
Notices
Notices
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 283-289
-
- Article
-
- You have access
- Export citation
Meeting Report
MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Będlewo, Poland July 2–8, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 530-531
-
- Article
- Export citation
29TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Toulouse, France July 17–28, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 532-533
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
BSL volume 24 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. f1-f4
-
- Article
-
- You have access
- Export citation
Back Cover (OBC, IBC) and matter
BSL volume 24 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Meeting Report
HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 23–29, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 534
-
- Article
- Export citation
14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Daejeon, Republic of Korea July 24–27, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 535
-
- Article
- Export citation
MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 536
-
- Article
- Export citation
TABLEAUX 2017 / FROCOS 2017 / ITP 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brasilia, Brazil September 25–29, 2017
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 537-538
-
- Article
- Export citation
TRIMESTER ON MODEL THEORY, COMBINATORICS, AND VALUED FIELDS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré Paris, France January 8–April 6, 2018
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 539-542
-
- Article
- Export citation
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 8–11, 2018
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 543
-
- Article
- Export citation
OUROBOROS: WORKSHOP ON FORMAL CRITERIA OF SELF-REFERENCE IN MATHEMATICS AND PHILOSOPHY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bonn, Germany February 16–18, 2018
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 544-545
-
- Article
- Export citation