Logic Colloquium 82 :  proceedings of the colloquium held in Florence 23-28 Aug. 1982 / 
edited by G. Lolli, G. Lorgo and A. Mareja 
 - Amsterdam :  North-Holland,  1984 
 - 358 p. ;  23 cm. 
 - Studies in logic and the foundation of mathematics ;  vol. 112 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label> fl 135.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lamba calculas--Congresses<br/>Categories (Mathematics)--Congresses<br/>Model theory--Congresses<br/>Logic, symbolic and mathematical--Congresses
<br/><br/><label>Dewey Class. No.: </label>511.2076