Works matching IS 10798986 AND DT 2022 AND VI 28 AND IP 2
Results: 17
BSL volume 28 issue 2 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. b1, doi. 10.1017/bsl.2022.21
- Publication type:
- Article
BSL volume 28 issue 2 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. f1, doi. 10.1017/bsl.2022.20
- Publication type:
- Article
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 319, doi. 10.1017/bsl.2022.19
- Publication type:
- Article
2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '21 Adam Mickiewicz University Poznań, Poland July 19–24, 2021.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 268, doi. 10.1017/bsl.2022.17
- Publication type:
- Article
A journey through computability, topology and analysis.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
Proof Mining with the Bounded Functional Interpretation.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
CONSTRUCTING WADGE CLASSES.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 207, doi. 10.1017/bsl.2022.7
- By:
- Publication type:
- Article
On Logics and Semantics for Interpretability.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
Semantics modulo satisfiability with applications: function representation, probabilities and game theory.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 163, doi. 10.1017/bsl.2021.66
- By:
- Publication type:
- Article
The Combinatorics and Absoluteness of Definable Sets of Real Numbers.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
Formal Theories of Occurrences and Substitutions.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 182, doi. 10.1017/bsl.2021.48
- By:
- Publication type:
- Article
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
Paraconsistent Logic Programming in Three and Four-Valued Logics.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
P-points, MAD families and Cardinal Invariants.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
Uniform Properties of Ideals in Rings of Restricted Power Series.
- Published in:
- 2022
- By:
- Publication type:
- Abstract