- BR SPCLEARQ AMACL-PI-04
- Unidad documental simple
- 18 abr. 1977
Mostrando 27 resultados
Descripción archivística14 resultados con objetos digitales Muestra los resultados con objetos digitales
La méthode des validations en Logique Propositionnelle Modale
- BR SPCLEARQ AMACL-PI-09
- Unidad documental simple
- 1977
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
- BR SPCLEARQ AMACL-PI-07
- Unidad documental simple
- 1988
Apostila de exercícios Lógica II
- BR SPCLEARQ AMACL-PI-08
- Unidad documental simple
- 1994
Duas aplicações da Teoria das Valorações
- BR SPCLEARQ AMACL-PI-03
- Unidad documental simple
- jan. 1995
- BR SPCLEARQ AMACL-PI-12
- Unidad documental simple
- 1996
Questões para resolver em casa
- BR SPCLEARQ AMACL-PI-10
- Unidad documental simple
- 1997
Andrea Maria Altino de Campos Loparic
- BR SPCLEARQ AMACL
- Fondo
- 1900-2021
Sin título
- BR SPCLEARQ AMACL-PI
- Serie
- 1960-2022
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
Introdução à Lógica de Predicados
- BR SPCLEARQ AMACL-PI-11
- Unidad documental simple
- s.d.
Introdução à Lógica de Predicados 1
- Unidad documental simple
- Unidad documental simple
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
- Unidad documental simple
Linguagem do Cálculo Sentencial
- BR SPCLEARQ AMACL-PI-06
- Unidad documental simple
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
- Unidad documental simple
Um estudo semântico de alguns cálculos proposicionais
- BR SPCLEARQ AMACL-PI-01
- Unidad documental simple
- BR SPCLEARQ AMACL-PI-02
- Unidad documental simple
- Unidad documental simple
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais
- BR SPCLEARQ AMACL-PI-05
- Unidad documental simple
Apostila de exercícios Lógica II 1
- Unidad documental simple
La méthode des validations en Logique Propositionnelle Modale 1
- Unidad documental simple
Questões para resolver em casa 1
- Unidad documental simple