![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
The Bulletin of Symbolic Logic, Volume 30
Volume 30, Number 1, 2024
- BSL volume 30 issue 1 Cover and Front matter. 1-
- BSL volume 30 issue 1 Cover and Back matter. 1-
- David Fernández-Duque
, Andreas Weiermann
:
A Walk with Goodstein. 1-19 - Jan Krajícek
:
On the existence of Strong Proof Complexity Generators. 20-40 - Arnon Avron:
Poincaré-Weyl's Predicativity: going beyond. 41-91 - Gabriel Uzquiano:
Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405-424. 92-93 - 2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 - June 9, 2023. 94-139
- SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9-13, 2023. 140-151
- 2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 2023. 152-165
- 2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024. 166-171
- 2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15-18, 2024. 172-175
- Association for Symbolic Logic. 176-180
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.