Logic Colloquium : proceedings of a conference held in Oxford in July 1976 /

• Corporate Author: Logic Colloquium Oxford, England
• Other Authors: Gandy, R. O. (Robin O.) (επιμελητής.), Hyland, J. M. E. (John Martin Elliott) (επιμελητής.)
• Format: Conference Proceeding Book
• Language: English
• Published: Amsterdam : North Holland, 1977.
• Series: Studies in logic and the foundations of mathematics 87.
• Subjects: Λογική, Συμβολική και μαθηματική