TY  - BOOK
AU  - Schutte,Kurt
TI  - Proof theory
SN  - 0387079114
PY  - 1977///
CY  - Berlin
PB  - Springer-Verlag
KW  - Proof theory
N1  - Translation of Beweistheorie; Includes index
ER  -