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