Editor Peter Aczel, Harold Simmons & Stanley Wainer <br/><br/>
Proof Theory 

 -  Cambridge  2008 
<br/><br/> Includes References 
<br/><br/><label>ISBN: </label>0-521-05416-8 
<br/><br/><label>Dewey Class. No.: </label>511.36 P94 2008