Applied Proof Theory: Proof Interpretations and Their Use in Mathematics - Kohlenbach, Ulrich; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Mathematics; Functional analysis; Operator theory; Logic, Symbolic and mathematical; Mathematics; Mathematics, general; Approximations and Expansions; Operator Theory; Mathematical Logic and Foundations; Functional Analysis