511.8  / L829 <br/>
Lolli, G. <br/>
       LOGIC COLLOQUIUM' 82 
 / PROCEEDINGS 
 .- Amsterdam: North-Holland,  1984 
 .- viii,358. 
.- ( Studies In Logic And The Foundations Of Mathematics  V. 112   
<br/><u>Subject Headings:</u> <br/>Model Theory -- Congresses;<br/>Categories (Mathematics) -- Congresses;<br/>Lambda Calculus -- Congresses;
<br/><U>Author Added Entry: </u><br/>Longo, G.;<br/>;
<br><U>Copy Details:</u><br> Acc. No.: <b>A85203</b>, Full Call No.: 511.8 L829,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>