General logical metatheorems for functional analysis (2006)

by Philipp Gerhardy, Ulrich Kohlenbach
Venue:Trans. Am. Math. Soc