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

by Ulrich Kohlenbach
Citations:9 - 8 self