Andrea Maria Altino de Campos Loparic
- BR SPCLEARQ AMACL
- Fonds
- 1900-2021
Untitled
14 results with digital objects Show results with digital objects
Andrea Maria Altino de Campos Loparic
Untitled
Apostila de exercícios Lógica II
Questões para resolver em casa
Introdução à Lógica de Predicados
Linguagem do Cálculo Sentencial
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
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
La méthode des validations en Logique Propositionnelle Modale