General logical metatheorems for functional analysis (2008)

by Philipp Gerhardy , Ulrich Kohlenbach
Citations:30 - 19 self