Logic colloquium 76 :  Proceedings of a conference held in oxford in july 1976 / 
Edited by r. o. gandy, j. m. e. hyland 
 - 612 páginas 
 - Studies in logic and the foundations of mathematics ;  v. 87 .
<br/><br/><label>ISBN: </label>0720422000 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática--Congresos
<br/><br/><label>LC Class. No.: </label>QA9.A1  / L62 1976