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