1. SET THEORY TODAY: A CONFERENCE IN HONOR OF GEORG CANTOR CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria September 10–14, 2018

    http://dx.doi.org/10.1017/bsl.2018.97
  2. NOTICES

    http://dx.doi.org/10.1017/bsl.2019.16
  3. NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM

    http://dx.doi.org/10.1017/bsl.2018.91
  4. SATELLITE CONFERENCE ON MATHEMATICAL LOGIC OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Niterói, Brazil August 10–11, 2018

    http://dx.doi.org/10.1017/bsl.2018.95
  5. THE FIFTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Lake Kochel, Germany August 5–8, 2018

    http://dx.doi.org/10.1017/bsl.2018.93
  6. AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS

    http://dx.doi.org/10.1017/bsl.2018.3
  7. 30TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Sofia, Bulgaria August 6–17, 2018

    http://dx.doi.org/10.1017/bsl.2018.94
  8. HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM

    http://dx.doi.org/10.1017/bsl.2018.2
  9. BSL volume 25 issue 1 Cover and Back matter

    http://dx.doi.org/10.1017/bsl.2019.18
  10. ADVANCES IN MODAL LOGIC 2018 LOGIC, ALGEBRA AND TRUTH DEGREES 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland August 27–31, 2018

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