Kohlenbach, U. Applied proof theory: Proof interpretations and their use in mathematics (1st ed. 2008.). Springer.
Lua i Stíl Chicago (17ú heag.)Kohlenbach, Ulrich. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. 1st ed. 2008. Berlin ; Heidelberg: Springer.
Lua MLA (8ú heag.)Kohlenbach, Ulrich. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. 1st ed. 2008. Springer.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.