Wyniki wyszukiwania
Znaleziono 4 projekty spełniających kryteria wyszukiwania:
-
1. Indukcja dla formuł ograniczonych i jej relatywizacje
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5, panel: ST1
-
2. Probabilizm Rudolfa Carnapa.
Kierownik: Paweł Szymon Pruski
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: PRELUDIUM 5, panel: HS1
-
3. Formalne teorie prawdy i niestandardowe modele arytmetyki
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: PRELUDIUM 7, panel: HS1
-
4. Koncepcja wnioskowań naukowych Jerzego Neymana
Kierownik: Adam Paweł Kubiak
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Konkurs: PRELUDIUM 9, panel: HS1