Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. - Ayda I. Arruda; Francisco Miro Quesada; Newton C. A. da Costa; Rolando Chuaqui (J. Symb. Log., 1978)