Proof theory - Schutte Kurt (Berlin Springer-Verlag, 1977)
Tr from the German by J N Crossley
Keywords: Proof theory