Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983