Works matching IS 10798986 AND DT 2024 AND VI 30 AND IP 3
Results: 18
BSL volume 30 issue 3 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. b1, doi. 10.1017/bsl.2025.4
- Publication type:
- Article
BSL volume 30 issue 3 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. f1, doi. 10.1017/bsl.2024.61
- Publication type:
- Article
MODEL THEORY WORKSHOP AND CONFERENCE 2023 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland September 15–23, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 445, doi. 10.1017/bsl.2024.49
- Publication type:
- Article
THE FOURTEENTH PHD'S-IN-LOGIC INTERNATIONAL CONFERENCE (PHD'S IN LOGIC 2023) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Granada, Spain October 4–6, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 447, doi. 10.1017/bsl.2024.48
- Publication type:
- Article
CONFERENCE: MODEL THEORY AND GROUPS A conference on the occasion of Katrin Tent's 60th birthday CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Münster, Germany September 25–29, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 446, doi. 10.1017/bsl.2024.47
- Publication type:
- Article
THE SECOND INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY (HoTT 2023) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Pittsburgh, USA May 22–25, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 443, doi. 10.1017/bsl.2024.46
- Publication type:
- Article
AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia 6–8 November 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 448, doi. 10.1017/bsl.2024.44
- Publication type:
- Article
MODEL THEORY CONFERENCE IN SEOUL CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Seoul, South Korea August 28–30, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 444, doi. 10.1017/bsl.2024.42
- Publication type:
- Article
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 449, doi. 10.1017/bsl.2024.41
- Publication type:
- Article
Complexity of Infinite-Domain Constraint Satisfaction.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 431, doi. 10.1017/bsl.2024.40
- By:
- Publication type:
- Article
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 427, doi. 10.1017/bsl.2024.33
- By:
- Publication type:
- Article
Fragmenting Reality: An Essay on Passage, Causality and Time.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 424, doi. 10.1017/bsl.2024.32
- By:
- Publication type:
- Article
The Logic of Entailment and its History.
- Published in:
- 2024
- By:
- Publication type:
- Book Review
A NOTE ON CONTINUOUS FUNCTIONS ON METRIC SPACES.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 398, doi. 10.1017/bsl.2024.30
- By:
- Publication type:
- Article
SAUL KRIPKE (1940–2022).
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 433, doi. 10.1017/bsl.2024.29
- By:
- Publication type:
- Article
A CLUB GUESSING TOOLBOX I.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 303, doi. 10.1017/bsl.2024.27
- By:
- Publication type:
- Article
POUR-EL'S LANDSCAPE.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 3, p. 362, doi. 10.1017/bsl.2024.26
- By:
- Publication type:
- Article
An Invitation to Model Theory.
- Published in:
- 2024
- By:
- Publication type:
- Book Review