Methods of mathematical logic : procddeings - Prisco C A Di ed.; Latin American Symposium on Mathematical Logic( 6th : 1983 : Caracas,Venezuela ); Latin American Symposium on Mathematical Logic 6th , Venezuela 1983 (Berlin Springer-Verlag, 1985)
Keywords: Mathematical logic-Proceedings