Search results
2 projects found matching your search criteria:
-
1. 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
-
2. 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