Logic colloquium 76 :  proceedings of a conference held in Oxford in July 1976 / 
edited by R. O. Gandy, J. M. E. Hyland 
 - Amsterdam :  North-Holland,  1977 
 - x, 612p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics ;  v. 87 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0720422000 :  ? 90.00 0720406919 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, symbolic and mathematical--Addresses, essays, lectures<br/>Mathematics--Philosophy
<br/><br/><label>Dewey Class. No.: </label>510.1