Ayda I. Arruda Xavier Caicedo Rolando Chuaqui Newton C. A. da Costa Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. 884-892 1983 48 J. Symb. Log. 3 db/journals/jsyml/jsyml48.html#ArrudaCCC83