TY  - BOOK
AU  - Schutte, Kurt.
AU  - Crossley J.N., Tr.
TI  - Proof theory
T2  - Grundlehren der mathematischen Wissenschaften
SN  - 3540079114
U1  - 511.3 
PY  - 1977///
CY  - Berlin
PB  - Springer-Verlag
ER  -