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

• Συγγραφή απο Οργανισμό/Αρχή: Logic Colloquium Oxford, England
• Άλλοι συγγραφείς: Gandy, R. O. (Robin O.) (επιμελητής.), Hyland, J. M. E. (John Martin Elliott) (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam : North Holland, 1977.
• Σειρά: Studies in logic and the foundations of mathematics 87.
• Θέματα: Λογική, Συμβολική και μαθηματική