TY  - BOOK
AU  - Schutte Kurt
TI  - Proof theory
T2  - Grundlehren der mathematischen wissenschaften; 225
U1  - B12, L7 
PY  - 1977///
CY  - Berlin
PB  - Springer-Verlag         
KW  - Proof theory
N1  - Tr from the German by J N Crossley
ER  -