CONTENTS OF VOLUME 29.
- Published in:
- 2023
- Publication type:
- Table of Contents
Works matching IS 10798986 AND DT 2023 AND VI 29 AND IP 4
Results: 20
1
2
BSL volume 29 issue 4 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. b1, doi. 10.1017/bsl.2023.21
- Publication type:
- Article
3
BSL volume 29 issue 4 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. f1, doi. 10.1017/bsl.2023.20
- Publication type:
- Article
4
28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 725, doi. 10.1017/bsl.2023.42
- Publication type:
- Article
5
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 726, doi. 10.1017/bsl.2023.41
- Publication type:
- Article
6
Reverse Mathematics: Problems, Reductions, and Proofs.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
7
Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
8
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF $\mathbb {Q}$.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 626, doi. 10.1017/bsl.2023.37
- By:
- Publication type:
- Article
9
Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
10
THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26–31, 2022.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 703, doi. 10.1017/bsl.2023.32
- Publication type:
- Article
11
ASYMMETRIC CUT AND CHOOSE GAMES.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 588, doi. 10.1017/bsl.2023.31
- By:
- Publication type:
- Article
12
INTERLEAVING LOGIC AND COUNTING.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 503, doi. 10.1017/bsl.2023.30
- By:
- Publication type:
- Article
13
Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers.
- Published in:
- 2023
- By:
- Publication type:
- Abstract
14
Ordered Groups, Computability and Cantor-Bendixson Rank.
- Published in:
- 2023
- By:
- Publication type:
- Abstract
15
Computability Theory on Polish Metric Spaces.
- Published in:
- 2023
- By:
- Publication type:
- Abstract
16
Weak Indestructibility and Reflection.
- Published in:
- 2023
- By:
- Publication type:
- Abstract
17
2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5–6, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 696, doi. 10.1017/bsl.2023.23
- Publication type:
- Article
18
2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 672, doi. 10.1017/bsl.2023.22
- Publication type:
- Article
19
2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6–7, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 666, doi. 10.1017/bsl.2023.18
- Publication type:
- Article
20
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 465, doi. 10.1017/bsl.2023.5
- By:
- Publication type:
- Article