Print preview Close

Showing 5268 results

Archival description
Brazilian Portuguese
Print preview View:

1683 results with digital objects Show results with digital objects

Projeto Memória Científica Nacional
Projeto Memória Científica Nacional
Andrea Maria Altino de Campos Loparic
Andrea Maria Altino de Campos Loparic
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Documento de identidade
Documento de identidade
Lições de Lógica
Lições de Lógica
Introdução à Lógica de Predicados
Introdução à Lógica de Predicados
Questões para resolver em casa
Questões para resolver em casa
La méthode des validations en Logique Propositionnelle Modale
La méthode des validations en Logique Propositionnelle Modale
Lições de Lógica 1
Lições de Lógica 1
Introdução à Lógica de Predicados 1
Introdução à Lógica de Predicados 1
Questões para resolver em casa 1
Questões para resolver em casa 1
La méthode des validations en Logique Propositionnelle Modale 1
La méthode des validations en Logique Propositionnelle Modale 1
Produção Intelectual
Produção Intelectual
Apostila de exercícios Lógica II anexos 1
Apostila de exercícios Lógica II anexos 1
Apostila de exercícios Lógica II 1
Apostila de exercícios Lógica II 1
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 1
Linguagem do Cálculo Sentencial 1
Linguagem do Cálculo Sentencial 1
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 1
Logique Mathématique 1
Logique Mathématique 1
Duas aplicações da Teoria das Valorações 1
Duas aplicações da Teoria das Valorações 1
O objeto da Lógica 1
O objeto da Lógica 1
Um estudo semântico de alguns cálculos proposicionais 1
Um estudo semântico de alguns cálculos proposicionais 1
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
Um estudo semântico de alguns cálculos proposicionais
Um estudo semântico de alguns cálculos proposicionais
Duas aplicações da Teoria das Valorações
Duas aplicações da Teoria das Valorações
Logique Mathématique
Logique Mathématique
O objeto da Lógica
O objeto da Lógica
Results 1 to 30 of 5268