Showing 24 results
Archival description12 results with digital objects Show results with digital objects
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais
- BR SPCLEARQ AMACL-PI-05
- Item
Um estudo semântico de alguns cálculos proposicionais
- BR SPCLEARQ AMACL-PI-01
- Item
Questões para resolver em casa
- BR SPCLEARQ AMACL-PI-10
- Item
- 1997
- BR SPCLEARQ AMACL-PI-02
- Item
- BR SPCLEARQ AMACL-PI-04
- Item
- 18 abr. 1977
Linguagem do Cálculo Sentencial
- BR SPCLEARQ AMACL-PI-06
- Item
- Item
- BR SPCLEARQ AMACL-PI-12
- Item
- 1996
La méthode des validations en Logique Propositionnelle Modale
- BR SPCLEARQ AMACL-PI-09
- Item
- 1977
Introdução à Lógica de Predicados
- BR SPCLEARQ AMACL-PI-11
- Item
- s.d.
Duas aplicações da Teoria das Valorações
- BR SPCLEARQ AMACL-PI-03
- Item
- jan. 1995
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
- BR SPCLEARQ AMACL-PI-07
- Item
- 1988
Apostila de exercícios Lógica II
- BR SPCLEARQ AMACL-PI-08
- Item
- 1994