Logic Colloquium '82 :  Proceedings of the colloquium held in Florence, 23-28 August, 1982 / 
Ed. by G. Lolli, G. Longo and A. Marcja. 
 - Amsterdam ;  Oxford :  North-Holland,  1984. 
 - viii, 358 p :  ill ;  24 cm. 
 - Studies in logic and the foundations of mathematics  Vol. 112 .
 - 511.3 .
<br/><br/>Includes bibliogr. references 
<br/><br/><label>ISBN: </label>0444868763 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3