Project

Analysis of Impredicative Provability Logics

Code
DOCT/008964
Duration
23 June 2022 → 20 September 2026 (Ongoing)
Doctoral researcher
Research disciplines
No data available
 
Project description
No data available