2 projects found matching your search criteria :
Meta-theoretical and inter-theoretical reductions in foundations of mathematics
Call: OPUS 27 , Panel: HS1
Principal investigator: Maciej Głowacki
Uniwersytet Warszawski
Truth theories and their strength
Call: OPUS 14 , Panel: HS1
Principal investigator: dr hab. Cezary Cieśliński
Uniwersytet Warszawski, Wydział Filozofii