Latin-American Symposium on Mathematical Logic, State University of Campinas, Arruda, A. I., Chuaqui, R., & Costa, N. C. A. d. (1977). Non-classical logics, model theory, and computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Latin-American Symposium on Mathematical Logic, State University of Campinas, Ayda I. Arruda, R. Chuaqui, و Newton C. A. d. Costa. Non-classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. Amsterdam ; New York : New York: North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Latin-American Symposium on Mathematical Logic, State University of Campinas, et al. Non-classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.