TY  - BOOK
TI  - Proof theory
SN  - 9783540693185 (pbk.) | 3540693181 (pbk.) | 9783540693192 (e-ISBN) | 354069319X (e-ISBN)
PY  - 2009///
CY  - Berlin
PB  - Springer
UR  - http://www.columbia.edu/cgi-bin/cul/resolve?clio7901125
ER  -