Author: Latin-American Symposium on Mathematical Logic State University of Campinas 1976.