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>0720422779 :  ? 85.00 0444104925 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Mathematics--Study and teaching
<br/><br/><label>Dewey Class. No.: </label>517.0108