A. I. Arruda,Brazilian Conference on Mathematical Logic.Brazilian Conference on Mathematical Logic (1st : 1977 : Campinas,Brazil)：Mathematical Logic.Marcel Dekker,1978.
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.
