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