Author: Brazilian Conference on Mathematical Logic Universidade Estadual de Campinas 1977.