Showing 27 results
Archival description14 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
- Series
- 1960-2022
- 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
Andrea Maria Altino de Campos Loparic
- BR SPCLEARQ AMACL
- Fonds
- 1900-2021
O Fundo é composto por documentos que abrangem sua trajetória profissional e aspectos de sua vida pessoal. Inclui artigos, teses, fotografias, notícias, apostilas, entre outros documentos.
Untitled