Kohlenbach. U. (2008). Applied proof theory: Proof interpretations and their use in mathematics. Springer.
シカゴスタイル引用形Kohlenbach. U. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Heidelberg: Springer, 2008.
MLA引用形式Kohlenbach. U. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer, 2008.
警告: この引用は必ずしも正確ではありません.