Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui
(Studies in logic and the foundations of mathematics, v. 89)
North-Holland Pub. Co. , sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977