TY  - BOOK
AU  - Kohlenbach, U.
TI  - Applied proof theory: proof interpretations and their use in mathematics
SN  - 9783540775324
U1  - 511.36 
PY  - 2008///
CY  - Berlin
PB  - Springer
KW  - Proof theory
ER  -