Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 5 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
-
Logiki wyższych rzędów a zjawisko absolutności w teorii mnogości
Konkurs: SONATA 19 , panel: HS1
Kierownik: dr Bartosz Wcisło
Uniwersytet Gdański, Wydział Nauk Społecznych
-
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
-
Ontologia ekstensjonalna i logika filozoficzna
Konkurs: OPUS 2 , panel: HS1
Kierownik: dr hab. Andrzej Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
-
Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Konkurs: OPUS 14 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki