1 projects found matching your search criteria :
Induction for bounded formulas and its relativizations
Call: OPUS 5 , Panel: ST1
Principal investigator: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki