Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Powrót do listy grantów
Grant
Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik grantu | Leszek Kołodziejczyk |
Nr umowy | UMO-2017/27/B/ST1/01951 |
Data rozpoczęcia | 2018-07-19 |
Data zakończenia | 2022-07-18 |
Finansowany przez | Narodowe Centrum Nauki |