Logic Colloquium 76:  proceedings of a conference held in Oxford in July 1976/ 
edited by R. O. Gandy, J. M. E. Hyland. 
 - Amsterdam ;  New York:  New York:  North-Holland,  Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland,  1977. 
 - x, 612 p.:  port.;  23 cm. 
 - Studies in logic and the foundations of mathematics  v. 87. .
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0720406919 
<br/><br/><label>LCCN: </label>77008943 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical---Congresses.
<br/><br/><label>Dewey Class. No.: </label>511.3  / L832