TY - BOOK AU - Schutte, Kurt TI - Proof theory tr from German by J N Crossley T2 - Grundlehren der mathematischen Wissenschaften PY - 1977/// PB - Springer Verlag ER -