A. I. Arruda,Latin American Symposium on Mathematical Logic.Latin American Symposium on Mathematical Logic (4th : 1978 : Santiago)：Mathematical logic in latin America.North-Holland,1978.
C. A. Di Prisco.Latin American Symposium on Mathematical Logic(6th : 1983 : Caracas)：Methods in mathematical logic : proceedings of the....Springer-Verlag,1985.
