Mostrando 24 resultados
Descripción archivística12 resultados con objetos digitales Muestra los resultados con objetos digitales
Apostila de exercícios Lógica II
Apostila de exercícios Lógica II
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
Duas aplicações da Teoria das Valorações
Duas aplicações da Teoria das Valorações
Introdução à Lógica de Predicados 1
Introdução à Lógica de Predicados 1
La méthode des validations en Logique Propositionnelle Modale 1
La méthode des validations en Logique Propositionnelle Modale 1
Lições de Lógica 1
Lições de Lógica 1
Linguagem do Cálculo Sentencial
Linguagem do Cálculo Sentencial
Logique Mathématique
Logique Mathématique
O objeto da Lógica
O objeto da Lógica
Questões para resolver em casa 1
Questões para resolver em casa 1
Um estudo semântico de alguns cálculos proposicionais
Um estudo semântico de alguns cálculos proposicionais
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais