1. MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Będlewo, Poland July 2–8, 2017

    http://dx.doi.org/10.1017/bsl.2018.61
  2. The Complexity of Countable Structures

    http://dx.doi.org/10.1017/bsl.2018.85
  3. 2018 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Western Illinois University, Macomb, IL, USA May 16–19, 2018

    http://dx.doi.org/10.1017/bsl.2018.60
  4. 2017–2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Diego Convention Center and Marriott Marquis San Diego Marina San Diego, CA January 12–13, 2018

    http://dx.doi.org/10.1017/bsl.2018.56
  5. 25TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bogotá, Colombia July 24–27, 2018

    http://dx.doi.org/10.1017/bsl.2018.79
  6. 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

    http://dx.doi.org/10.1017/bsl.2018.74
  7. Compact Structures in Descriptive Classification Theory

    http://dx.doi.org/10.1017/bsl.2018.41
  8. Independence in Model Theory and Team Semantics

    http://dx.doi.org/10.1017/bsl.2018.81
  9. 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

    http://dx.doi.org/10.1017/bsl.2018.55
  10. Coding into Inner Models at the Level of Strong Cardinals

    http://dx.doi.org/10.1017/bsl.2018.33
Copyright © 2015 1079-8986的搜索结果由GYCC学术搜索提供 - 意见反馈 >>小额捐赠|打赏