Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / - Arruda, Ayda I.; Chuaqui, R.; Costa, Newton C. A. da. (Studies in logic and the foundations of mathematics ;)