Logic Colloquium '86 : proceedings of the Colloquium held in Hull, U.K., July 13-19, 1986 - Drake, F. R.; Truss, J. K., 1947- (Studies in Logic and the Foundations of Mathematics ;, 1988)