On quantitative versions of theorems due to (2011)

by U Kohlenbach
Venue:Advances in Mathematics 226