TY - BOOK AU - Richter M.a.o. AU - editors TI - Proceedings of the Logic Colloquium held in Aachen, July 18 - 23, 1983. Pt. I. Models and Sets U1 - MF PY - 1984/// CY - Berlin PB - Springer-Verlag N1 - MicroFiche. Lecture Notes in Mathematics, Vol. 1103 ER -