| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Math Logic | 978-O-387-15236-3 (O-387-15236-9) | 1985 | venezuel Latin-American Symposium on Mathematical Logic 1983 Caracas |