Showing 24 results
Archival description12 results with digital objects Show results with digital objects
Apostila de exercícios Lógica II
Apostila de exercícios Lógica II
Introdução à Lógica de Predicados 1
Introdução à Lógica de Predicados 1
Lições de Lógica 1
Lições de Lógica 1
Linguagem do Cálculo Sentencial
Linguagem do Cálculo Sentencial
Um estudo semântico de alguns cálculos proposicionais
Um estudo semântico de alguns cálculos proposicionais
O objeto da Lógica
O objeto da Lógica
Duas aplicações da Teoria das Valorações
Duas aplicações da Teoria das Valorações
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
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
La méthode des validations en Logique Propositionnelle Modale 1
La méthode des validations en Logique Propositionnelle Modale 1
Logique Mathématique
Logique Mathématique
Questões para resolver em casa 1
Questões para resolver em casa 1