Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Metateoretyczne i międzyteoretyczne redukcje w podstawach matematyki
Konkurs: OPUS 27 , panel: HS1
Kierownik: Maciej Głowacki
Uniwersytet Warszawski
-
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki