Kohlenbach, U. (2008). Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)Kohlenbach, Ulrich. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
Παραπομπή σε μορφή MLA (8th εκδ.)Kohlenbach, Ulrich. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Berlin Heidelberg, 2008.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.