Ernesto Luiz de Oliveira Junior
Newton Carneiro Affonso da Costa
Ante-Projeto Curso Especialização FFPP
Caderno 33n
Carta de Irineu Bicudo
Carta de Irineu Bicudo
Carta de Irineu Bicudo
Carta de Irineu Bicudo
Carta de Irineu Bicudo
Carta de Irineu Bicudo
Carta de Jorge Forbes
Sobre A Teoria dos Tipos
Currículo de Allyrio Hugueney de Mattos
Aula inaugural “Introdução ao Estudo da Física Nuclear” 1
Transcrição de entrevista 1
Biografia 1
Transcrição de entrevista 1
Transcrição de entrevista
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
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