Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 (Studies in logic and the foundations of mathematics, 1980)