TY  - GEN
AU  - Kohlenbach. U.
TI  - Applied proof theory : proof interpretations and their use in mathematics 
SN  - 9783540775324
PY  - 2008///
CY  - Heidelberg
PB  - Springer
KW  - Mathematical logic
KW  - Proof theory
ER  -