Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 - Arruda, A. I. (Ayda Ignez); Costa, Newton C. A. da; Chuaqui, R. (Studies in logic and the foundations of mathematics ;, 1977)