Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Showing 6200 results

Archival description

Advanced search options

Find results with:

in

Limit results to:

Top-level description

Filter results by:

Level of description

Digital object available

Finding aid

Top-level descriptions All descriptions

Filter by date range:

Start

End

Overlapping Exact

Use these options to specify how the date range returns results. "Exact" means that the start and end dates of descriptions returned must fall entirely within the date range entered. "Overlapping" means that any description whose start or end dates touch or overlap the target date range will be returned.

Print preview View:

Sort by:

Direction:

1701 results with digital objects Show results with digital objects

Projeto Memória Científica Nacional

Projeto Memória Científica Nacional

PMC
Collection
1977 - 1983

ArqHist/CLE e FGV/CPDOC

Andrea Maria Altino de Campos Loparic

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.

Andrea Maria Altino de Campos Loparic

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361-IT361
Item

Part of Ayda Ignez Arruda

Documento de identidade

BR SPCLEARQ FAIA-DP-IT001
Item

Part of Ayda Ignez Arruda

Documento de identidade de AIA. Ass.: Ayda Ignez Arruda.

Lições de Lógica

Lições de Lógica

BR SPCLEARQ AMACL-PI-12
Item
1996

Part of Andrea Maria Altino de Campos Loparic

Introdução à Lógica de Predicados

Introdução à Lógica de Predicados

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

Part of Andrea Maria Altino de Campos Loparic

Questões para resolver em casa

Questões para resolver em casa

BR SPCLEARQ AMACL-PI-10
Item
1997

Part of Andrea Maria Altino de Campos Loparic

La méthode des validations en Logique Propositionnelle Modale

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 1

Item

Part of Andrea Maria Altino de Campos Loparic

Introdução à Lógica de Predicados 1

Item

Part of Andrea Maria Altino de Campos Loparic

Questões para resolver em casa 1

Item

Part of Andrea Maria Altino de Campos Loparic

La méthode des validations en Logique Propositionnelle Modale 1

Item

Part of Andrea Maria Altino de Campos Loparic

Produção Intelectual

BR SPCLEARQ AMACL-PI
Series
1960-2022

Part of Andrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II anexos 1

Apostila de exercícios Lógica II anexos 1

Part of Andrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II 1

Apostila de exercícios Lógica II 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

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

Item

Part of Andrea Maria Altino de Campos Loparic

Linguagem do Cálculo Sentencial 1

Linguagem do Cálculo Sentencial 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

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

Logique Mathématique 1

Logique Mathématique 1

Item

Part of Andrea Maria Altino de Campos Loparic

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

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

Item

Part of Andrea Maria Altino de Campos Loparic

O objeto da Lógica 1

O objeto da Lógica 1

Item

Part of Andrea Maria Altino de Campos Loparic

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

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

Item

Part of Andrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II

BR SPCLEARQ AMACL-PI-08
Item
1994

Part of Andrea Maria Altino de Campos Loparic

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

BR SPCLEARQ AMACL-PI-07
Item
1988

Part of Andrea Maria Altino de Campos Loparic

Linguagem do Cálculo Sentencial

BR SPCLEARQ AMACL-PI-06
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

BR SPCLEARQ AMACL-PI-05
Item

Part of Andrea Maria Altino de Campos Loparic

Um estudo semântico de alguns cálculos proposicionais

BR SPCLEARQ AMACL-PI-01
Item

Part of Andrea Maria Altino de Campos Loparic

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

BR SPCLEARQ AMACL-PI-03
Item
jan. 1995

Part of Andrea Maria Altino de Campos Loparic

Logique Mathématique

BR SPCLEARQ AMACL-PI-04
Item
18 abr. 1977

Part of Andrea Maria Altino de Campos Loparic

O objeto da Lógica

BR SPCLEARQ AMACL-PI-02
Item

Part of Andrea Maria Altino de Campos Loparic

Results 1 to 30 of 6200

1
2
3
4
5
6
7
...
207
Next »