Browsing by Subject Proof theory
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) |
|---|---|---|
| Jul-2024 | A classification of the set-theoretic total recursive functions of KPl | Fernández Dejean, Anton |
| 19-Jan-2018 | L’ombra del programa de Hilbert | Bargalló Jiménez, Jordi |
| 19-Jun-2020 | Non-finite axiomatizability of first-order Peano Arithmetic | Berdugo Parada, Sandra |
| 2018 | On a game-theoretic semantics for the Dialectica interpretation of analysis | González Bedmar, Mireia |
| 2020 | Proof theory of the calculus of relations | Gentili, Stefano |
| 4-Nov-2019 | The Logic of Turing Progressions | Hermo Reyes, Eduardo |
| 13-Jun-2022 | Veritats aritmètiques indemostrables en l'aritmètica de Peano | Pastó Pellicer, Paula |