R&D Projects
Confirmed projects database queries
Call for Funding of Research and Development Projects in all Scientific Domains - 2008
Functional interpretations of arithmetic and analysis
PTDC/MAT/104716/2008
-
Main Research Area
-
Mathematics
-
Keywords
-
Proof Theory
-
Functional interpretations
-
Formal systems of arithmetic and analysis
-
Correspondence principle
-
Funding
- €
23,040.00
Project institutions not found