1 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