Proceedings - Lolli G ed.; Logic Colloquium( 1982 : Florence ) (Amsterdam North-Holland, 1984)
Keywords: Mathematical logic