Logic Colloquium : proceedings of a conference held in Oxford in July 1976 - Gandy, R. O. (Robin O.); Hyland, J. M. E. (John Martin Elliott) (North Holland, 1977)