Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets (Lecture Notes in Mathematics, 1103) | EKB DL