M. M. RichterBooksProceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2Computation and Proof TheoryInformation systems and data analysisProceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983 : Part 1Author data: Open Library