511.3  / Sz12a <br/>
Szabe, M. E. <br/>
       ALGEBRA OF PROOFS 
 / 
 .- Amsterdam: North-Holland Pub. Co.,  1978 
 .- xii,297 . 
.- ( Studies In Logic And The Foundations Of Mathematics, V. 88     
<br/>Bibliography : P. 278-284 
<br/><u>Subject Headings:</u> <br/>Proof Theory;<br/>Categories (Mathematics);<br/>Combinatory Logic;
<br><U>Copy Details:</u><br> Acc. No.: <b>A72997</b>, Full Call No.: 511.3 Sz12a,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>