Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. - Muller, G. H. (Gert Heinz), 1923- (Lecture notes in mathematics (Springer-Verlag) ;, 1984)