Logic Colloquium 76: proceedings of a conference held in Oxford in July 1976/
edited by R. O. Gandy, J. M. E. Hyland.
- Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.
- x, 612 p.: port.; 23 cm.
- Studies in logic and the foundations of mathematics v. 87. .