2 projects found matching your search criteria :
Call: OPUS 27 , Panel: HS6
Principal investigator: dr hab. Maciej Władysław Haman
Uniwersytet Warszawski
Formal theories of truth and nonstandard models of arithmetic
Call: PRELUDIUM 7 , Panel: HS1
Principal investigator: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii