Znaleziono 3 projektów spełniających kryteria wyszukiwania:
Formalne teorie prawdy i niestandardowe modele arytmetyki
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Logiczne i epistemologiczne kryteria istotności w podstawach matematyki
Konkurs: SONATA BIS 12 , panel: HS1
Kierownik: dr Mateusz Łełyk
Uniwersytet Warszawski, Wydział Filozofii
Prawda: pomiędzy dyskwotacją i kompozycyjnością.
Konkurs: SONATA 15 , panel: HS1
Kierownik: dr Mateusz Łełyk
Uniwersytet Warszawski