You are not logged in |
Return to the list of grants
Formula hierarchie in weak arithmetics and their extensions by counting quantifiers
- Principal investigator
- dr hab. Leszek Kołodziejczyk, prof. ucz.
- Contract number
- N N201 382234
- Starting date
- May 13, 2008
- Ending date
- May 12, 2011
- Financed by
- Ministry of Science and Higher Education
