La méthode des validations en Logique Propositionnelle Modale
- BR SPCLEARQ AMACL-PI-09
- Unidad documental simple
- 1977
Mostrando 13 resultados
Descripción archivística Questões para resolver em casa
- BR SPCLEARQ AMACL-PI-10
- Unidad documental simple
- 1997
Introdução à Lógica de Predicados
- BR SPCLEARQ AMACL-PI-11
- Unidad documental simple
- s.d.
- BR SPCLEARQ AMACL-PI-12
- Unidad documental simple
- 1996
Um estudo semântico de alguns cálculos proposicionais 1
- Unidad documental simple
- Unidad documental simple
Duas aplicações da Teoria das Valorações 1
- Unidad documental simple
Linguagem do Cálculo Sentencial 1
- Unidad documental simple
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
- Unidad documental simple
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
- Unidad documental simple
- Unidad documental simple
Apostila de exercícios Lógica II 1
- Unidad documental simple