You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
Return to the list of grants

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

Principal investigator
dr hab. Leszek Kołodziejczyk
Contract number
2017/27/B/ST1/01951
Starting date
July 19, 2018
Ending date
Jan. 18, 2023
Financed by
National Science Center

Careers

Website

© 2024 University of Warsaw. All rights reserved.