TY  - BOOK
AU  - Gandy,R.O.
AU  - Hyland,J.M.E.
ED  - Logic Colloquium
TI  - Logic colloquium 76: proceedings of a conference held in Oxford in July 1976 
SN  - 0720422000 :
U1  - 510.1 
PY  - 1977///
CY  - Amsterdam
PB  - North-Holland
KW  - Logic, symbolic and mathematical
KW  - Addresses, essays, lectures
KW  - Mathematics
KW  - Philosophy
N1  - Includes bibliographical references and index
ER  -