Proceedings - Ferro R ed.; Logic Colloquium( 1988 : Padova,Italy ) (Amsterdam North-Holland, 1989)
Keywords: Mathematical logic