@article{1183741360,
author = {Arruda, Ayda I. and Caicedo, Xavier and Chuaqui, Rolando and da Costa, Newton C. A.},
title = {Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981},
journal = {J. Symbolic Logic},
volume = {48},
number = {1},
year = {1983},
pages = { 884-892},
language = {en},
url = {http://dml.mathdoc.fr/item/1183741360}
}
Arruda, Ayda I.; Caicedo, Xavier; Chuaqui, Rolando; da Costa, Newton C. A. Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. J. Symbolic Logic, Tome 48 (1983) no. 1, pp. 884-892. http://gdmltest.u-ga.fr/item/1183741360/