Works matching IS 10798986 AND DT 2020 AND VI 26 AND IP 3/4
Results: 29
BSL volume 26 issue 3-4 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. b1, doi. 10.1017/bsl.2021.11
- Publication type:
- Article
BSL volume 26 issue 3-4 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. f1, doi. 10.1017/bsl.2021.10
- Publication type:
- Article
THE BSL 25TH ANNIVERSARY PRIZE.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 316, doi. 10.1017/bsl.2021.4
- Publication type:
- Article
NOTICES.
- Published in:
- 2020
- Publication type:
- Announcement
NOTICES.
- Published in:
- 2020
- Publication type:
- Announcement
BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 257, doi. 10.1017/bsl.2020.48
- By:
- Publication type:
- Article
Measurable combinatorics and orbit equivalence relations.
- Published in:
- 2020
- By:
- Publication type:
- Abstract
COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 224, doi. 10.1017/bsl.2020.46
- By:
- Publication type:
- Article
Filling cages. Reverse mathematics and combinatorial principles.
- Published in:
- 2020
- By:
- Publication type:
- Abstract
Compact Metrizable Structures via Projective Fraïssé Theory With an Application to the Study of Fences.
- Published in:
- 2020
- By:
- Publication type:
- Abstract
GÖDEL DIFFEOMORPHISMS.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 219, doi. 10.1017/bsl.2020.36
- By:
- Publication type:
- Article
Philosophy and Model Theory.
- Published in:
- 2020
- By:
- Publication type:
- Book Review
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 4–7, 2020.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 315, doi. 10.1017/bsl.2020.33
- Publication type:
- Article
CIRCULARITY IN SYNTAX AND SEMANTICS (CiSS 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden November 20–22, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 314, doi. 10.1017/bsl.2020.32
- Publication type:
- Article
A Categorical Characterization of Accessible Domain.
- Published in:
- 2020
- By:
- Publication type:
- Abstract
An Implicative Expansion of Belnap's Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes.
- Published in:
- 2020
- By:
- Publication type:
- Abstract
Invariant Types in Model Theory.
- Published in:
- 2020
- By:
- Publication type:
- Abstract
IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019.
- Published in:
- 2020
- By:
- Publication type:
- Obituary
GÖDEL'S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 241, doi. 10.1017/bsl.2020.22
- By:
- Publication type:
- Article
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.
- Published in:
- 2020
- By:
- Publication type:
- Abstract
2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Colorado Convention Center Denver, CO, USA January 17–18, 2020.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 302, doi. 10.1017/bsl.2020.20
- Publication type:
- Article
YOUNG SET THEORY XII 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria June 26–29, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 309, doi. 10.1017/bsl.2020.18
- Publication type:
- Article
WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22–23, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 311, doi. 10.1017/bsl.2020.17
- Publication type:
- Article
PROOF SOCIETY SUMMER SCHOOLS AND WORKSHOP ON PROOF THEORY AND ITS APPLICATIONS COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Swansea, UK September 8–13, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 313, doi. 10.1017/bsl.2020.16
- Publication type:
- Article
HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Tübingen, Germany July 21–27, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 310, doi. 10.1017/bsl.2020.15
- Publication type:
- Article
FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2–6, 2019.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 312, doi. 10.1017/bsl.2020.14
- Publication type:
- Article
FINDING THE LIMIT OF INCOMPLETENESS I.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 268, doi. 10.1017/bsl.2020.9
- By:
- Publication type:
- Article
AN EXPOSITION OF THE COMPACTNESS OF $L({Q^{\mathrm{cf}}})$.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 212, doi. 10.1017/bsl.2020.4
- By:
- Publication type:
- Article