Logic Colloquium 76 [E-Book] : proceedings of a conference held in Oxford in July 1976 / edited by R.O. Gandy, J.M.E. Hyland.
Gandy, R. O.
Hyland, John Martin Elliott.
Amsterdam ; New York : New York : North-Holland Pub. Co. ; 1977
Sole distributors for U.S.A. and Canada, Elsevier North-Holland,
1 online resource (x, 612 p.) : port.
englisch
9780080954967
0080954960
Studies in logic and the foundations of mathematics ; v. 87
Full Text
Description not available.