@article{1183741732,
author = {Caicedo, Xavier and Chauqui, Rolando and da Costa, Newton C. D. and di Prisco, Carlos A.},
title = {Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983},
journal = {J. Symbolic Logic},
volume = {49},
number = {1},
year = {1984},
pages = { 1430-1440},
language = {en},
url = {http://dml.mathdoc.fr/item/1183741732}
}
Caicedo, Xavier; Chauqui, Rolando; da Costa, Newton C. D.; di Prisco, Carlos A. Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. J. Symbolic Logic, Tome 49 (1984) no. 1, pp. 1430-1440. http://gdmltest.u-ga.fr/item/1183741732/