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(3rd :1976 :Campinas)
Arruda, A. I.
Costa, N. C. A. da.
Chuaqui, R.(Rolando)
Amsterdam Oxford North-Holland Publishing Co.
1977
Includes bibliographies
Logic, Symbolic and mathematical.