Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco. Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic, 49(4):1430-1440, 1984.
@article{CaicedoCCP84,
title = {Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983},
author = {Xavier Caicedo and Rolando Chuaqui and Newton C. A. da Costa and Carlos A. Di Prisco},
year = {1984},
tags = {C++, logic},
researchr = {https://researchr.org/publication/CaicedoCCP84},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {49},
number = {4},
pages = {1430-1440},
}