Models and sets proceedings - Muller G H ed.; Logic Colloquium( 1983 : Aachen ); Logic Colloquium Aachen, 1983 (Berlin Springer-Verlag, 1984)
Keywords: Mathematical logic