Some Logical Metatheorems with Applications in Functional Analysis (2003)

by Ulrich Kohlenbach
Citations:61 - 25 self