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
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