Proceedings of Latin American Symposia on Mathematical Logic:

1. "Non-Classical Logic, Model Theory and Computability", Studies in Logic and the Foundations of Mathematics, North-Holland Pub. Co., 1977, editors A.I. Arruda, N.C.A. da Costa and R. Chuaqui.

2. "Mathematical Logic in Latin America", Studies in Logic and the Foundations of Mathematics, North-Holland Pub. Co., 1979, editors A.I. Arruda, N.C.A. da Costa and R. Chuaqui.

3. "Methods in Mathematical Logic", Lecture Notes in Mathematics 1130, Springer-Verlag, 1983, editor C.A. Di Prisco.

4. "Methods and Applications of Mathematical Logic", Contemporary Mathematics vol. 69, American Mathematical Society, 1988, editors W.A. Carnielli and L.P. de Alcantara.