Schutte, Kurt. <br/><br/>
Proof theory/ 
Kurt Sch utte;translated from the German by J. N. Crossley. 
 - Berlin:  Springer-Verlag,  1977. 
 - 296 p.;   26 cm. 
 - Grundlehren der mathematischen Wissenschaften;225. .
<br/><br/> Translation of Beweistheorie.  Includes index. 
<br/><br/><label>ISBN: </label>0387079114 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.