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