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