Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals (1995)
by
Ulrich Kohlenbach
| Citations: | 26 - 15 self |
Document Versions
| Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals –Ulrich Kohlenbach — 1995 |
