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

Between proof theory, reverse mathematics, and the model theory of arithmetic

Principal investigator
dr hab. Leszek Kołodziejczyk
Contract number
2023/49/B/ST1/02627
Starting date
June 1, 2024
Ending date
June 26, 2028
Financed by
National Science Center