Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 4 projektów spełniających kryteria wyszukiwania:
-
Miary złożoności strukturalnej dla teorii podstaw matematyki
Konkurs: WEAVE-UNISONO , panel: HS1
Kierownik: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
-
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Niestandardowe modele arytmetyki i formalne teorie prawdy
Konkurs: ETIUDA 5 , panel: HS1
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
-
Formalne teorie prawdy i niestandardowe modele arytmetyki
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii