Znaleziono 2 projektów spełniających kryteria wyszukiwania:
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nieskończoność i nieskończenie małe
Konkurs: OPUS 16 , panel: HS1
Kierownik: dr hab. Piotr Błaszczyk
Uniwersytet Komisji Edukacji Narodowej w Krakowie