3 projects found matching your search criteria :
Formal theories of truth and nonstandard models of arithmetic
Call: PRELUDIUM 7 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Extensional Ontology and Philosophical Logic
Call: OPUS 2 , Panel: HS1
Principal investigator: dr hab. Andrzej Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Call: OPUS 14 , Panel: ST1
Principal investigator: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki