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
Um estudo semântico de alguns cálculos proposicionais
Duas aplicações da Teoria das Valorações
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais
Linguagem do Cálculo Sentencial
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
Apostila de exercícios Lógica II
La méthode des validations en Logique Propositionnelle Modale
Questões para resolver em casa
Introdução à Lógica de Predicados
Um estudo semântico de alguns cálculos proposicionais 1
Duas aplicações da Teoria das Valorações 1
Linguagem do Cálculo Sentencial 1
Introdução à Lógica de Predicados 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
Apostila de exercícios Lógica II 1
La méthode des validations en Logique Propositionnelle Modale 1
Questões para resolver em casa 1