Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Formalne teorie prawdy i niestandardowe modele arytmetyki
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: PRELUDIUM 7, panel: HS1
-
2. Indukcja dla formuł ograniczonych i jej relatywizacje
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5, panel: ST1