Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Indukcja dla formuł ograniczonych i jej relatywizacje
Konkurs: OPUS 5 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki