Methods and Applications of Mathematical Logic: Proceedings of the VII Latin ... - Google Books

https://books.google.de/books?id=eImkRM0lzOEC&dq

This volume constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. Striking a balance between breadth of scope and depth of results, the papers in…