General logical metatheorems for functional analysis (2008)

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

Document Versions

General logical metatheorems for functional analysis –Philipp Gerhardy, Ulrich Kohlenbach — 2008
U.: “General logical metatheorems for functional analysis –Ulrich Kohlenbach, Ulrich Kohlenbach
General logical metatheorems for functional analysis –Philipp Gerhardy, Ulrich Kohlenbach — 2006
General logical metatheorems for functional analysis –Ulrich Kohlenbach