-
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 8–11, 2018
-
BSL volume 24 issue 4 Cover and Back matter
-
MODEL THEORY IN WROCŁAW 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland 30 June–2 July, 2017
-
BSL volume 24 issue 4 Cover and Front matter
-
Type-two well-ordering principles, admissible sets, and -comprehension
http://dx.doi.org/10.1017/bsl.2018.80 -
ASSOCIATION FOR SYMBOLIC LOGIC
-
Model Theory Methods for Topological Groups
http://dx.doi.org/10.1017/bsl.2018.32 -
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
-
Extensions and Smooth Approximations of Definable Functions in O-minimal Structures
http://dx.doi.org/10.1017/bsl.2018.46 -
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