Ungar, A. M. <br/><br/>
Normalisation, cut-elimination and theory of proofs  / 
A. M. Unga r. 
 - Stanford :  California ,  1992 
 - 236p. ;  23cm 
 - CSLI Lectre notes ;  no. 28 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0937073822 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511.3 UNG.