Login
From:
Richard Zach
(Uncensored)
subscribe
Epsilon theorems in intermediate logics – Richard Zach
https://richardzach.org/2022/01/epsilon-theorems-in-intermediate-logics/
links
backlinks
Tagged with:
publications
Baaz, Matthias, and Richard Zach. 2022. Epsilon theorems in intermediate logics. The Journal of Symbolic Logic 87(2), pp. 682–720. DOI: 10.1017/jsl.2021.103. Open access. Any intermediate propositi…
Roast topics
Find topics
Find it!