Logic Colloquium'82 :  proceedings of the Colloquium held in Florence 23-28 August, 1982 / 
edited by G. Lolli, G. Longo and A. Marcja 
 - Amsterdam :  North-Holland,  1984 
 - 358 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics  v.112 .
<br/><br/>Bibliography: p.358 
<br/><br/><label>ISBN: </label>0444868763 
<br/><br/><label>LCCN: </label>84-1630 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Model theory--Congresses<br/>Categories (Mathematics)--Congresses<br/>Lambda calculus--Congresses