Aczel Peter Ed <br/><br/>
Proof theory: a selection of papers from the Leeds proof theory programme 1990 ed by Peter Aczel and REFs 

 - Cambridge  Cambridge University Press         1992 
 - x,306p 
<br/><br/> Includes bibliographical references; ^mPurchase; ; 1996-09-13^bSB^c1996-09-18 
<br/><br/><label>ISBN: </label>052141413X (hbd) 
<br/><br/><label>Standard No.: </label>3409 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Logic<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>B:(R1), N2