You are not logged in |
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
