автор: W. Oberschelp

E. Borger & W. Oberschelp: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983