Questões para resolver em casa
- BR SPCLEARQ AMACL-PI-10
- Unidad documental simple
- 1997
12 resultados con objetos digitales Muestra los resultados con objetos digitales
Questões para resolver em casa
La méthode des validations en Logique Propositionnelle Modale
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
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