Takeuti, Gaisi <br/><br/>
Proof theory  
Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. 
 - Second edition. 
 - Mineola, New York:  Dover Publications,  2013 
 - x, 490 p. ;  23 cm 
 - Dover books on mathematics .
<br/><br/> Postscript p. 381<br/>Anexe p. 393<br/>Index p. 487 
<br/><br/> "This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition"-- 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>9780486490731  0486490734  
<br/><br/><label>LCCN: </label>2012030734 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Mathematical logic<br/>Mathematics / Logic
<br/><br/><label>LC Class. No.: </label>QA9.54 
<br/><br/><label>Dewey Class. No.: </label>511.36