Non-classical logics, model theory and computability : proceedings of the 3rd Latin American symposium on mathematical logic, campinas, Brazil, July 11-17, 1976 - Latin American Symposium on Mathematical Logic 1976 Campinas, Brazil); Arruda, A. I.; Costa, N. C. A.; Chuaqui, R. (Amsterdam : North-Holland Pub., 1977)
Keywords: Logic, symbolic and mathematical -- Addresses, essays, lectures; Mathematics; Model theory