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
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
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
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
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
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
WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 546
-
- Article
- Export citation
THE TENTH SCANDINAVIAN LOGIC SYMPOSIUM (SLS 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden June 11–13, 2018
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 547
-
- Article
- Export citation
25TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bogotá, Colombia July 24–27, 2018
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 548-549
-
- Article
- Export citation
CIE 2018: SAILING ROUTES IN THE WORLD OF COMPUTATION CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Kiel, Germany July 31–August 3, 2018
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 550
-
- Article
- Export citation
ASSOCIATION FOR SYMBOLIC LOGIC
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 551-556
-
- Article
- Export citation
Notices
NOTICES
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 557-562
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
BSL volume 24 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. f1-f5
-
- Article
-
- You have access
- Export citation