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

    http://dx.doi.org/10.1017/bsl.2018.76
  2. BSL volume 24 issue 4 Cover and Back matter

    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

    http://dx.doi.org/10.1017/bsl.2018.67
  4. BSL volume 24 issue 4 Cover and Front matter

    http://dx.doi.org/10.1017/bsl.2018.89
  5. Type-two well-ordering principles, admissible sets, and -comprehension

    http://dx.doi.org/10.1017/bsl.2018.80
  6. ASSOCIATION FOR SYMBOLIC LOGIC

    http://dx.doi.org/10.1017/bsl.2018.88
  7. Model Theory Methods for Topological Groups

    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

    http://dx.doi.org/10.1017/bsl.2018.65
  9. Extensions and Smooth Approximations of Definable Functions in O-minimal Structures

    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

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