Nie jesteś zalogowany | Zaloguj się
Powrót do listy grantów

Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Kierownik
dr hab. Leszek Kołodziejczyk
Numer umowy
UMO-2017/27/B/ST1/01951
Data rozpoczęcia
19 lipca 2018
Data zakończenia
18 lipca 2022
Finansowany przez
Narodowe Centrum Nauki