Search results
4 projects found matching your search criteria:
-
1. Induction for bounded formulas and its relativizations
Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 5, Panel: ST1
-
2. Probabilism of Rudolf Carnap.
Principal investigator: Paweł Szymon Pruski
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: PRELUDIUM 5, Panel: HS1
-
3. Formal theories of truth and nonstandard models of arithmetic
Principal investigator: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 7, Panel: HS1
-
4. Jerzy Neyman's Conception of Scientific Inference
Principal investigator: Adam Paweł Kubiak
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Call: PRELUDIUM 9, Panel: HS1