Troelstra, A. S <br/><br/>
Basic proof theory 
A.S. Troelstra, H. Schwichtenberg 
 - 2nd ed 
 - Cambridge  Cambridge University Press  1996 
 - xi, 343 p. : ill. ; 24 cm. 
<br/><br/> Includes bibliographical references (p. 309-330) and index 
<br/><br/><label>ISBN: </label>521572231 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511.3 TRO