Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / - Arruda, Ayda I.; Costa, Newton C. A. da.; Chuaqui, R. (North-Holland Pub. Co. ;, 1977)