Logic colloquium '80 :  papers intended for the European Summer Meeting of the Association for Symbolic Logic / 
edited by D. Van Dalen , D. Lascar and T. J. Smiley 
 - Amsterdam :  North-Holland Pub.,  c1982 
 - x, 342 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics .
<br/><br/> Under the auspices of Czech Academy of Sciences 
<br/><br/><label>ISBN: </label>0444864652 :  Fl 120.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Metamathematics<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>510.1