Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

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

Logique Mathématique 1

Item

Part of Andrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II 1

Item

Part of Andrea Maria Altino de Campos Loparic

Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1

Item

Part of Andrea Maria Altino de Campos Loparic

Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1

Item

Part of Andrea Maria Altino de Campos Loparic

Um estudo semântico de alguns cálculos proposicionais 1

Item

Part of Andrea Maria Altino de Campos Loparic

O objeto da Lógica 1

Item

Part of Andrea Maria Altino de Campos Loparic

Duas aplicações da Teoria das Valorações 1

Item

Part of Andrea Maria Altino de Campos Loparic

Linguagem do Cálculo Sentencial 1

Item

Part of Andrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II anexos 1

Part of Andrea Maria Altino de Campos Loparic

Questões para resolver em casa

BR SPCLEARQ AMACL-PI-10
Item
1997

Part of Andrea Maria Altino de Campos Loparic

Introdução à Lógica de Predicados

BR SPCLEARQ AMACL-PI-11
Item
s.d.

Part of Andrea Maria Altino de Campos Loparic

La méthode des validations en Logique Propositionnelle Modale

BR SPCLEARQ AMACL-PI-09
Item
1977

Part of Andrea Maria Altino de Campos Loparic

Lições de Lógica

BR SPCLEARQ AMACL-PI-12
Item
1996

Part of Andrea Maria Altino de Campos Loparic

Narrow your results by:

Part of

Level of description

Media type

Showing 14 results