Zur Logik der Gerechtigkeit
Hervorstechende Charakterzuge von Professor Ilmar Tammelo
Notes for a review on “Modern logic in the service of law”
Biografia Marquis Who’s who in the world
Carta de Ilmar Tammelo
Carta de Ilmar Tammelo
Carta de José Carneiro da Silva Filho
Carta para Carlos da Silva Lacaz
Carta de Paulo Rizzo
Curriculum Vitae
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