TY  - BOOK
TI  - Applied proof theory
SN  - 9783540775324 (alk. paper) | 9783540775331 (e-ISBN)
PY  - 2008///
CY  - Berlin
PB  - Springer
ER  -