Some Logical Metatheorems with Applications in Functional Analysis (2003)

by Ulrich Kohlenbach
Citations:22 - 4 self

Document Versions

Some Logical Metatheorems with Applications in Functional Analysis –Ulrich Kohlenbach — 2003