Kohlenbach. U. (2008). Applied proof theory: Proof interpretations and their use in mathematics. Springer.
Trích dẫn kiểu ChicagoKohlenbach. U. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Heidelberg: Springer, 2008.
Trích dẫn MLAKohlenbach. U. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer, 2008.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.