The use of a logical principle of uniform boundedness in analysis (1995)

by U Kohlenbach
Venue:Proc. `Logic in Florence