Some Logical Metatheorems with Applications in Functional Analysis (2003)

by Ulrich Kohlenbach
Citations:42 - 17 self