W. Oberschelp

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