Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R.O. Gandy, J.M.E. Hyland

Conference Author: Logic Colloquium (1976 : Oxford)
Published: Amsterdam ; New York : North-Holland Pub. Co., 1977.
New York : Sole distributors for U.S.A. and Canada, Elsevier North-Holland
Physical Description: 1 online resource (x, 612 pages) : portrait
Additional Creators: Gandy, R. O. (Robin O.) and Hyland, John Martin Elliott