1. Functions of the first Baire class

    Raphaël Carroy;
    导出 [打开HTML->sci-hub]
    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

    导出 [打开HTML->sci-hub]
    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

    导出 [打开HTML->sci-hub]
    http://dx.doi.org/10.1017/bsl.2018.62

  4. Foundations of Higher-Order Forcing

    Carolin Antos;
    导出 [打开HTML->sci-hub]
    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

    导出 [打开HTML->sci-hub]
    http://dx.doi.org/10.1017/bsl.2018.77

  6. Advances in Classification Theory for Abstract Elementary Classes

    Will Boney;
    导出 [打开HTML->sci-hub]
    http://dx.doi.org/10.1017/bsl.2018.26

  7. CANTORIAN SET THEORY

    ALEX OLIVER; TIMOTHY SMILEY;
    导出 [打开HTML->sci-hub]
    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

    导出 [打开HTML->sci-hub]
    http://dx.doi.org/10.1017/bsl.2018.66

  9. NOTICES

    导出 [打开HTML->sci-hub]
    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

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