Kohlenbach,Ulrich. (2008). Applied proof theory: Proof interpretations and their use in mathematics. Springer.
Chicago Edition CitationKohlenbach,Ulrich. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Germany: Springer, 2008.
MLA Edition CitationKohlenbach,Ulrich. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer, 2008.
Warning: These citations may not always be 100% accurate.