TY  - BOOK
AU  - Schutte, Kurt
AU  - Crossley, J.N.
TI  - Proof theory
U1  - 510.6 
PY  - 1977///
CY  - New York
PB  - Springer-Verlag
KW  - Mathematics
KW  - Number theory
KW  - Set theory
KW  - Group theory
KW  - Mathematical sciences
KW  - Pure mathematics
KW  - Fundamentals of mathematics
KW  - Arithmetic & algebra
N1  -  Grundlehrender mathematischen Wissenschaften in Einzeldar Stellungen, 225 .Translation fo "Beweis theorie"
ER  -