Questões para resolver em casa Add to clipboard BR SPCLEARQ AMACL-PI-10 Item 1997 Part of Andrea Maria Altino de Campos Loparic
Lições de Lógica Add to clipboard BR SPCLEARQ AMACL-PI-12 Item 1996 Part of Andrea Maria Altino de Campos Loparic
La méthode des validations en Logique Propositionnelle Modale Add to clipboard BR SPCLEARQ AMACL-PI-09 Item 1977 Part of Andrea Maria Altino de Campos Loparic
Um estudo semântico de alguns cálculos proposicionais 1 Add to clipboard Item Part of Andrea Maria Altino de Campos Loparic
Duas aplicações da Teoria das Valorações 1 Add to clipboard Item Part of Andrea Maria Altino de Campos Loparic
Linguagem do Cálculo Sentencial 1 Add to clipboard Item Part of Andrea Maria Altino de Campos Loparic
Apostila de exercícios Lógica II anexos 1 Add to clipboard Part of Andrea Maria Altino de Campos Loparic
Introdução à Lógica de Predicados Add to clipboard BR SPCLEARQ AMACL-PI-11 Item s.d. Part of Andrea Maria Altino de Campos Loparic
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1 Add to clipboard Item Part of Andrea Maria Altino de Campos Loparic
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1 Add to clipboard Item Part of Andrea Maria Altino de Campos Loparic
Apostila de exercícios Lógica II 1 Add to clipboard Item Part of Andrea Maria Altino de Campos Loparic