Tytuł projektu: Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: dr hab. Leszek Aleksander Kołodziejczyk
Panel: ST1 (obszar: ST)
Liczba wykonawców: 4
Finansowanie: 418000 PLN
Okres realizacji: 2018-07-19 00:00:00 – 2023-01-18 00:00:00 (54 miesięcy)