Xavier Caicedo Rolando Chuaqui Newton C. A. da Costa Carlos A. Di Prisco Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. 1430-1440 1984 49 J. Symb. Log. 4 db/journals/jsyml/jsyml49.html#CaicedoCCP84