511.3  / P945 <br/>
Aczel, Peter <br/>
       PROOF THEORY 
 / SELECTION OF PAPERS FROM THE LEEDS PROOF THEORY OF PROGRAMME, 1990 
 .- Cambridge: Cambridge Univ. Pr.,  1990 
 .- x,306 . 
<br/>Collection Of Papers Presented At An International Summer School & Confereence On Proof Theory, Held At Leeds, 1990 
<br><u>ISBN:</u> 052141413X 
<br/><u>Subject Headings:</u> <br/>Proof Theory -- Cong;
<br/><U>Author Added Entry: </u><br/>Weiner, Stanley S.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A115735</b>, Full Call No.: 511.3 P945,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>