Mostrando 14 resultados
Descrição arquivística
Andrea Maria Altino de Campos Loparic
Apostila de exercícios Lógica II 1
Apostila de exercícios Lógica II anexos 1
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
Duas aplicações da Teoria das Valorações 1
Introdução à Lógica de Predicados
La méthode des validations en Logique Propositionnelle Modale
Lições de Lógica
Linguagem do Cálculo Sentencial 1
Logique Mathématique 1
O objeto da Lógica 1
Questões para resolver em casa
Um estudo semântico de alguns cálculos proposicionais 1
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1