Title: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983 : Part 1