TY  - BOOK
AU  - Schutte,Kurt
AU  - Crossley,J.N.
TI  - Proof theory
SN  - 0387079114 :
U1  - 510.1 
PY  - 1977///
CY  - Berlin
PB  - Springer-Verlag
KW  - Proof theory
N1  - Translation of: Beweistheorie; Includes bibliographical references and index
ER  -