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

Provability, computation and combinatorics at the lower and intermediate levels of Gödel hierarchy

Principal investigator
dr hab. Leszek Kołodziejczyk
Contract number
Starting date
July 19, 2018
Ending date
July 18, 2022
Financed by
National Science Center