Proceedings - Logic Colloquium( 1985 : Orsay,France ) (Amsterdam North-Holland, 1987)
Keywords: Mathematical logic