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

by U Kohlenbach
Venue:Logic and Foundations of Mathematics. Synthese Library 280