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

Formula hierarchie in weak arithmetics and their extensions by counting quantifiers

Principal investigator
dr hab. Leszek Kołodziejczyk
Contract number
N N201 382234
Starting date
May 13, 2008
Ending date
May 12, 2011
Financed by
Ministry of Science and Higher Education