Ayda I. Arruda Francisco Miro Quesada Newton C. A. da Costa Rolando Chuaqui Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. 352-364 1978 43 J. Symb. Log. 2 db/journals/jsyml/jsyml43.html#ArrudaQCC78