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