Documentos Pessoais
Depoimento de Rogério Cerqueira Leite, 1977
Depoimento de Othon Leonardos, 1976
César Lattes
Ricardo Ferreira, 1977
Lélio Itapuambyra Gama, 1977 1
Transcrições
Projeto Memória Científica Nacional
Andrea Maria Altino de Campos Loparic
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Lições de Lógica
Introdução à Lógica de Predicados
Questões para resolver em casa
La méthode des validations en Logique Propositionnelle Modale
Apostila de exercícios Lógica II anexos 1
Apostila de exercícios Lógica II 1
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
Linguagem do Cálculo Sentencial 1
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
Logique Mathématique 1
Duas aplicações da Teoria das Valorações 1
O objeto da Lógica 1
Um estudo semântico de alguns cálculos proposicionais 1
Carta de notícias
Carta de confirmação
Carta de esclarecimento
Carta de esclarecimento
Carta de agradecimento
Carta de notícias
Carta de confirmação 1
