Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983 : Part 1by G. H. Müller, M. M. RichterWriting a summary for young readers…For young readersBook data: Open Library