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
Transcrição de entrevista
Transcrição de entrevista 1
Biografia 1
Transcrição de entrevista 1
Aula inaugural “Introdução ao Estudo da Física Nuclear” 1
Currículo de Allyrio Hugueney de Mattos
Hemeroteca
Sobre A Teoria dos Tipos
Atividades Acadêmicas
Carta de Jorge Forbes
Inventário do Fundo Newton Carneiro Affonso da Costa
Carta de Irineu Bicudo
Carta de Irineu Bicudo
Carta de Irineu Bicudo
Carta de Irineu Bicudo
Carta de Irineu Bicudo