1 projects found matching your search criteria :
Between proof theory, reverse mathematics, and the model theory of arithmetic
Call: OPUS 25 , Panel: ST1
Principal investigator: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki