Znaleziono 3 projektów spełniających kryteria wyszukiwania:
Niestandardowe modele arytmetyki i formalne teorie prawdy
Konkurs: ETIUDA 5 , panel: HS1
Kierownik: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
Formalne teorie prawdy i niestandardowe modele arytmetyki
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Michał Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny