Works matching IS 10798986 AND DT 2024 AND VI 30 AND IP 1
Results: 12
BSL volume 30 issue 1 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. b1, doi. 10.1017/bsl.2024.21
- Publication type:
- Article
BSL volume 30 issue 1 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. f1, doi. 10.1017/bsl.2024.20
- Publication type:
- Article
2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15–18, 2024.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 172, doi. 10.1017/bsl.2024.19
- Publication type:
- Article
SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9–13, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 140, doi. 10.1017/bsl.2024.18
- Publication type:
- Article
2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 166, doi. 10.1017/bsl.2024.17
- Publication type:
- Article
2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 152, doi. 10.1017/bsl.2024.16
- Publication type:
- Article
2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 2023.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 94, doi. 10.1017/bsl.2024.15
- Publication type:
- Article
ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 176, doi. 10.1017/bsl.2024.14
- Publication type:
- Article
Journal of Philosophy.
- Published in:
- 2024
- By:
- Publication type:
- Book Review
POINCARÉ–WEYL'S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 41, doi. 10.1017/bsl.2024.2
- By:
- Publication type:
- Article
A WALK WITH GOODSTEIN.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 1, doi. 10.1017/bsl.2024.1
- By:
- Publication type:
- Article
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 20, doi. 10.1017/bsl.2023.40
- By:
- Publication type:
- Article