Um estudo semântico de alguns cálculos proposicionais 1
O objeto da Lógica 1
Duas aplicações da Teoria das Valorações 1
Logique Mathématique 1
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
Linguagem do Cálculo Sentencial 1
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
Apostila de exercícios Lógica II 1
Apostila de exercícios Lógica II anexos 1
La méthode des validations en Logique Propositionnelle Modale
Questões para resolver em casa
Introdução à Lógica de Predicados
Lições de Lógica
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Lélio Itapuambyra Gama, 1977 1
Ricardo Ferreira, 1977
Depoimento de Othon Leonardos, 1976
Depoimento de Rogério Cerqueira Leite, 1977
Documentos Pessoais
Scientific reduction and the essential incompleteness of all science
Curriculum Vitae
Carta de Paulo Rizzo
Carta para Carlos da Silva Lacaz
Carta de José Carneiro da Silva Filho
Carta de Ilmar Tammelo
Carta de Ilmar Tammelo
Curriculum Vitae
Biografia Marquis Who’s who in the world
Acessment of the work and personality of Dr Ilmar Tammelo
Notes for a review on “Modern logic in the service of law”