Andrea Maria Altino de Campos Loparic
- BR SPCLEARQ AMACL
- Fondo
- 1900-2021
Sin título
14 resultados con objetos digitales Muestra los resultados con objetos digitales
Andrea Maria Altino de Campos Loparic
Sin título
Introdução à Lógica de Predicados
Questões para resolver em casa
La méthode des validations en Logique Propositionnelle Modale
Introdução à Lógica de Predicados 1
Questões para resolver em casa 1
La méthode des validations en Logique Propositionnelle Modale 1
Apostila de exercícios Lógica II 1
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
Linguagem do Cálculo Sentencial 1
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
Duas aplicações da Teoria das Valorações 1
Um estudo semântico de alguns cálculos proposicionais 1
Apostila de exercícios Lógica II
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
Linguagem do Cálculo Sentencial
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
Duas aplicações da Teoria das Valorações