Troelstra, A.S. <br/><br/>
Basic proof theory / 
by A.S. Troelstra, H. Schwichtenberg. 
 - Cambridge, N.Y. :  Cambridge University Press,  1996. 
 - xi, 343 p. 
 - Cambridge Tracts in Theoretical Computer Science. .
<br/><br/> Includes bibliographical references and index.  Contents : N-systems and H-systems--Gentzen systems. 
<br/><br/><label>ISBN: </label>0521572231 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.