Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals (1995)

Cached

Download Links

by Ulrich Kohlenbach
Citations:32 - 20 self