Pengarang: M. M. Richter

G. H. Muller & M. M. Richter: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

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