Buss, Samuel R. <br/><br/>
Handbook of proof theory  
edited by Samuel R. Buss 
 - New York :  Elsevier,  1998. 
 - 811 p.;  23 cm 
 - Studies in logic and the foundations of mathematics ;  vol. 137 .
<br/><br/> Contine Bibliografie la sfarsitul fiecarui capitol<br/>Index p. 787 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>9780444898401 
<br/><br/><label>LCCN: </label>98018922  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.
<br/><br/><label>LC Class. No.: </label>QA9.54 
<br/><br/><label>Dewey Class. No.: </label>511.3