General logical metatheorems for functional analysis (0)

by U Kohlenbach, P Gerhardy
Venue:Trans. Amer. Math. Soc