%0 Generic %E Di Prisco, C. A. %@ 0387152369 (U.S. : pbk.) %T Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /