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
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
Cognitive mechanisms of numeral reference
Call: OPUS 1 , Panel: HS1
Principal investigator: dr hab. Wojciech Krysztofiak
Uniwersytet Szczeciński, Wydział Humanistyczny