Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
Paulus Aulus Pompeia
Zeferino Vaz
Sergio Porto
Curriculum Vitae
Logique Mathématique 1
Apostila de exercícios Lógica II 1
Biografia 1
Transcrição de entrevista 1
Transcrição de entrevista 1
Os perigos da abstração
Ricardo Ferreira, 1977
Lélio Itapuambyra Gama, 1977 1
