Intensionality in Metamathematics and Gödel's Second Incompleteness Theorem
People
(Responsible)
Additional information
Start date
01.09.2024
End date
31.10.2026
Duration
26 Months
Funding sources
SNSF
Status
Active
Category
Swiss National Science Foundation /
Doc.CH
