Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 (North-Holland, 1986)
Includes one chapter in French