TY  - BOOK
AU  - Schutte Kurt
TI  - Proof theory
T2  - Grundlehren der mathematischen wissenschaften 225
U1  - R14, L7 
PY  - 1977///
CY  - New York  
PB  -  Springer-Verlag         
ER  -