1. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 8–11, 2018

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

  2. BSL volume 24 issue 4 Cover and Back matter

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

  3. MODEL THEORY IN WROCŁAW 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland 30 June–2 July, 2017

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

  4. BSL volume 24 issue 4 Cover and Front matter

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

  5. Type-two well-ordering principles, admissible sets, and -comprehension

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

  6. ASSOCIATION FOR SYMBOLIC LOGIC

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

  7. Model Theory Methods for Topological Groups

    Tomás Ibarlucía;
    导出 [打开HTML->sci-hub]
    http://dx.doi.org/10.1017/bsl.2018.32

  8. 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

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

  9. Extensions and Smooth Approximations of Definable Functions in O-minimal Structures

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

  10. Finite Generators for Countable Group Actions; Finite Index Pairs of Equivalence Relations; Complexity Measures for Recursive Programs

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