Works matching IS 10798986 AND DT 2019 AND VI 25 AND IP 1
Results: 13
BSL volume 25 issue 1 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. b1, doi. 10.1017/bsl.2019.18
- Publication type:
- Article
BSL volume 25 issue 1 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. f1, doi. 10.1017/bsl.2019.17
- Publication type:
- Article
NOTICES.
- Published in:
- 2019
- Publication type:
- Announcement
Archive for Mathematical Logic.
- Published in:
- 2019
- By:
- Publication type:
- Book Review
SET THEORY TODAY: A CONFERENCE IN HONOR OF GEORG CANTOR CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria September 10–14, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 132, doi. 10.1017/bsl.2018.97
- Publication type:
- Article
THE PROOF SOCIETY SUMMER SCHOOL 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Ghent, Belgium September 2–5, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 131, doi. 10.1017/bsl.2018.96
- Publication type:
- Article
SATELLITE CONFERENCE ON MATHEMATICAL LOGIC OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Niterói, Brazil August 10–11, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 129, doi. 10.1017/bsl.2018.95
- Publication type:
- Article
30TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Sofia, Bulgaria August 6–17, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 128, doi. 10.1017/bsl.2018.94
- Publication type:
- Article
THE FIFTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Lake Kochel, Germany August 5–8, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 127, doi. 10.1017/bsl.2018.93
- Publication type:
- Article
ADVANCES IN MODAL LOGIC 2018 LOGIC, ALGEBRA AND TRUTH DEGREES 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland August 27–31, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 130, doi. 10.1017/bsl.2018.92
- Publication type:
- Article
NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 101, doi. 10.1017/bsl.2018.91
- By:
- Publication type:
- Article
AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 34, doi. 10.1017/bsl.2018.3
- By:
- Publication type:
- Article
HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 1, p. 1, doi. 10.1017/bsl.2018.2
- By:
- Publication type:
- Article