Mathematical logic : proceedings of the first Brazilian Conference / - Arruda, Ayda I.; Costa, Newton C. A. da.; Chuagui, R. (M. Dekker,, 1978)