Author: Latin-American Symposium on Mathematical Logic (7th 1985 State University of Campinas)