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