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)

Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. - Ayda I. Arruda; Rolando Chuaqui; Newton C. A. da Costa; Irene F. Mikenberg (J. Symb. Log., 1981)

Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. - Ayda I. Arruda; Xavier Caicedo; Rolando Chuaqui; Newton C. A. da Costa (J. Symb. Log., 1983)