Logic Colloquium '80. / 
D Van Dalen; T J Smiley; D Lascar editor. 
 - 	Burlington :   Elsevier Science,  1982. 
 - 	x, 342 pages : illustrations ; 22 cm. 
 - 	Studies in logic and the foundations of mathematics. .
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>0444864652 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic
<br/><br/><label>Dewey Class. No.: </label>511.3  / LOG 1982