Kohlenbach,, U. (2008). Applied Proof Theory: Proof Interpretations and their use in Mathematics (1.). Springer.
Trích dẫn kiểu ChicagoKohlenbach,, Ulrich. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. 1. Berlin: Springer, 2008.
Trích dẫn MLAKohlenbach,, Ulrich. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. 1. 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%.