Proceedings of the Logic Colloquium held in Aachen, July 18 - 23, 1983 - Richter, Michael M. 1938-2020