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