Nie jesteś zalogowany | Zaloguj się
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