Aczel Peter Ed. <br/><br/>
Proof theory   A selection of papers from the Leeds Proof Theory Programme 1990 
Aczel Peter Ed. 
 -  1992 
<br/><br/><label>Standard No.: </label>71319 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>R14, N2