General logical metatheorems for functional analysis (2008)

by Philipp Gerhardy , Ulrich Kohlenbach
Citations:31 - 18 self