You are not logged in |
Return to the list of grants
Induction for bounded formulas and its relativizations
- Principal investigator
- dr hab. Leszek Kołodziejczyk
- Contract number
- 2013/09/B/ST1/04390
- Starting date
- Feb. 19, 2014
- Ending date
- Feb. 18, 2017
- Financed by
- National Science Center
- Participants
- prof. dr hab. Zofia Adamowicz
