Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 - Paris, J. B.; Wilkie, A. J. (Alec J.); Wilmers, G. M. (Studies in logic and the foundations of mathematics ;, 1986)