Takeuti, Gaisi <br/><br/>
Proof Theory 

 - 2/e 
 - New York  Dover Publications  2013 
 - x, 490p. 
<br/><br/><label>ISBN: </label>9780486490731 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof Theory
<br/><br/><label>Dewey Class. No.: </label>511.36  / Tak