Questões para resolver em casa
- BR SPCLEARQ AMACL-PI-10
- Item
- 1997
14 results with digital objects Show results with digital objects
Questões para resolver em casa
Duas aplicações da Teoria das Valorações
Apostila de exercícios Lógica II
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
La méthode des validations en Logique Propositionnelle Modale
Andrea Maria Altino de Campos Loparic
Untitled
Introdução à Lógica de Predicados
Linguagem do Cálculo Sentencial
Um estudo semântico de alguns cálculos proposicionais
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais