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