3 projects found matching your search criteria :
Niestandardowe modele arytmetyki i formalne teorie prawdy
Call: ETIUDA 5 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
Formal theories of truth and nonstandard models of arithmetic
Call: PRELUDIUM 7 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic
Call: OPUS 25 , Panel: HS1
Principal investigator: dr Michał Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny