Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Sysposium on Mathematical Logic, Campinas, Brazil, July 11-17 1976 - Latin-American Symposium on Mathematical Logic, State University of Campinas, 1976 ); Arruda, A. I.; Costa, Newton C. A. da; Chuaqui, R. (Amsterdam : North-Holland Pub., 1977)
Includes bibliographical references
Keywords: Nonclassical mathematical logic -- Congresses; Model theory -- Congresses; Computable functions -- Congresses