Martin Hyland

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Logic: From Foundations to Applications: European Logic Colloquium	978-O-19-853862-2 (O-19-853862-6)	1996	Wilfrid Hodges · Charles Steinhorn · J. Truss