1. Functions of the first Baire class

    http://dx.doi.org/10.1017/bsl.2018.83
  2. HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 23–29, 2017

    http://dx.doi.org/10.1017/bsl.2018.53
  3. MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017

    http://dx.doi.org/10.1017/bsl.2018.62
  4. Foundations of Higher-Order Forcing

    http://dx.doi.org/10.1017/bsl.2018.38
  5. THE TENTH SCANDINAVIAN LOGIC SYMPOSIUM (SLS 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden June 11–13, 2018

    http://dx.doi.org/10.1017/bsl.2018.77
  6. Advances in Classification Theory for Abstract Elementary Classes

    http://dx.doi.org/10.1017/bsl.2018.26
  7. CANTORIAN SET THEORY

    http://dx.doi.org/10.1017/bsl.2018.10
  8. TABLEAUX 2017 / FROCOS 2017 / ITP 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brasilia, Brazil September 25–29, 2017

    http://dx.doi.org/10.1017/bsl.2018.66
  9. NOTICES

    http://dx.doi.org/10.1017/bsl.2018.87
  10. WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018

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