| title | ISBN-13 (ISBN-10)  | year of publica- tion  | other author(s) | 
|---|---|---|---|
| Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 | 978-O-72O4-O752-5 (O-72O4-O752-4)  | 1977 | N. C. A. da Costa · R. Chuaqui | 
A.A. · A.I.A. · Aisha I Arruda · Ayda I. Arruda · I.A.