Apostila de exercícios Lógica II
- BR SPCLEARQ AMACL-PI-08
- Item
- 1994
12 resultados com objetos digitais Exibir resultados com objetos digitais
Apostila de exercícios Lógica II
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
Duas aplicações da Teoria das Valorações
Introdução à Lógica de Predicados
La méthode des validations en Logique Propositionnelle Modale
Linguagem do Cálculo Sentencial
Questões para resolver em casa
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