Troelstra, A. S. <br/><br/>
Basic proof theory / 
A.S. Troelstra, H. Schwichtenberg. 
 - 2nd ed. 
 - Cambridge :  Cambridge University Press,  2000. 
 - xii, 417 p. ;  23 cm. 
 - Cambridge tracts in theoretical computer science ;  43 .
<br/><br/>Includes bibliographical references (p. 379-403) and index. 
<br/><br/><label>ISBN: </label>0521779111 (pbk.) /  RM131.96 
<br/><br/><label>LCCN: </label>00-702855 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.