You are not logged in | Log in
Return to the list of grants

Induction for bounded formulas and its relativizations

Principal investigator
dr hab. Leszek Kołodziejczyk
Contract number
Starting date
Feb. 19, 2014
Ending date
Feb. 18, 2017
Financed by
National Science Center
prof. dr hab. Zofia Adamowicz