Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983. - Müller, G. H. (Gert Heinz), 1923-2006; Richter, Michael M., 1938- (Lecture notes in mathematics (Springer-Verlag), 1984)