Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on mathematical logic, held July 29-August 2, 1985 - Latin-American Symposium on Mathematical Logic 1985 : State University of Campinas).; Carnielli, Walter A. (Walter Alexandre).; Alcantara, Luiz Paulo de, 1944-.; Sociedade Brasileira de Logica a.; Sociedade Brasileira de Matematica a.; Association for Symbolic Logic (Providence, R.I. : American Mathematical Society, 1988)
Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.
Includes bibliographies.
Keywords: Logic, Symbolic and mathematical -- Congresses