Powrót do listy grantów
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
- Kierownik
- dr hab. Leszek Kołodziejczyk
- Numer umowy
- 2023/49/B/ST1/02627
- Data rozpoczęcia
- 1 czerwca 2024
- Data zakończenia
- 26 czerwca 2028
- Finansowany przez
- Narodowe Centrum Nauki
- Typ
- Opus