La méthode des validations en Logique Propositionnelle Modale
- BR SPCLEARQ AMACL-PI-09
- Unidad documental simple
- 1977
13 resultados con objetos digitales Muestra los resultados con objetos digitales
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
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