Logic Colloquium 76
Subtitle: proceedings of a conference held in Oxford in July 1976
By: edited by R. O. Gandy, J. M. E. Hyland.
Contributors: Gandy, R. O. (Robin O.); Hyland, John Martin Elliott.
Series: Studies in logic and the foundations of mathematics -- v. 87
Publisher: North-Holland Pub. Co.; sole distributors for U.S.A. and Canada, Elsevier North-Holland
Published: 1977
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 612
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.