Email Record: Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / edited by F.R. Drake and J.K. Truss.