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

by Ulrich Kohlenbach
Citations:40 - 24 self