You are not logged 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, prof. UW
- Contract number
- UMO-2017/27/B/ST1/01951
- Starting date
- July 19, 2018
- Ending date
- July 18, 2022
- Financed by
- National Science Center
