511.6  / St42c <br/>
Stenlund, Soren <br/>
       COMBINATORS, TERMS AND PROOF THEORY 
 / 
 .- Dordrecht: D. Reidel,  1972 
 .- 184 . 
.- ( Synthese Library     
<br/>Bibliography : P. 177-180 
<br/><u>Subject Headings:</u> <br/>Combinatory Logic;<br/>Proof Theory;
<br><U>Copy Details:</u><br> Acc. No.: <b>A63876</b>, Full Call No.: 511.6 St42c,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>