Znaleziono 4 projektów spełniających kryteria wyszukiwania:
Koncepcja wnioskowań naukowych Jerzego Neymana
Konkurs: PRELUDIUM 9 , panel: HS1
Kierownik: Adam Paweł Kubiak
Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II
Formalne teorie prawdy i niestandardowe modele arytmetyki
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Indukcja dla formuł ograniczonych i jej relatywizacje
Konkurs: OPUS 5 , panel: ST1
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 5 , panel: HS1
Kierownik: Paweł Szymon Pruski
Uniwersytet Jagielloński, Wydział Filozoficzny