Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 - Latin-American Symposium on Mathematical Logic, State University of Campinas, 1976; Arruda, Ayda I.; Chuaqui, R; Costa, Newton C. A. d (Amsterdam ; New York : North-Holland Pub. Co. ; New York : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977)
Errata slip inserted
Includes bibliographical references and index
1
Keywords: Computable functions -- Congresses; Model theory -- Congresses; Nonclassical mathematical logic -- Congresses