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

by Ulrich Kohlenbach
Citations:39 - 23 self