Takeuti, Gaisi,  1926- <br/><br/>
Proof theory/ 
Gaisi Takeuti. 
 - Amsterdam:  North-Holland,  1975. 
 - vii,372 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics  v. 81. .
<br/><br/> Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.  Includes index. 
<br/><br/><label>ISBN: </label>0444104925 (American Elsevier) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.