Author: Encontro Nacional de Lógica Matemática (1974 Universidade Federal Fluminense)