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

BR SPCLEARQ FAIA-C-Cp-IT268
Unidad documental simple
1982-04-19

Carta, em inglês, de Diderik Batens para AIA, sugerindo alterações ao artigo elaborado em conjunto. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.

Sin título

Carta de Diderik Batens para AIA

BR SPCLEARQ FAIA-C-Cp-IT269
Unidad documental simple
1982-04-19

Parte deAyda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, comunicando revisões nos artigos. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.

Sin título

Carta de Diderik Batens para AIA

BR SPCLEARQ FAIA-C-Cp-IT270
Unidad documental simple
1982-05-04

Parte deAyda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, comunicando envio de artigo e solicitando correções. Gent, 04 maio 1982. Ass.: Diderik. 1p. dat.

Sin título

Carta de Diderik Batens para AIA

BR SPCLEARQ FAIA-C-Cp-IT273
Unidad documental simple
1982-10-25

Parte deAyda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, informando sobre os trabalhos a serem publicados e desejando sua recuperação. S.l., 25 out. 1982. Ass.: Diderik. 1p. dat.

Sin título

Cartão de Francisco Xavier Caicedo para AIA

BR SPCLEARQ FAIA-C-Cp-IT277
Unidad documental simple
1982-12-21

Parte deAyda Ignez Arruda

Cartão, em inglês, de Francisco Xavier Caicedo e Carmem para AIA, desejando boas festas e rápida recuperação. S.l., 21 dez. 1982. Ass.: Xavier Caicedo; Carmem. 1p. ms.

Sin título

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT283
Unidad documental simple
1982-04-23

Parte deAyda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, indagando sobre possível interesse da D. Reidel Publishing Company em publicar o livro ?Paraconsistent Logic?. Dordrecht, 23 abr. 1982. Ass.: J.C. Kuipers. 1p. dat.

Sin título

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT286
Unidad documental simple
1983-11-22

Parte deAyda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro ?The Logical Views of N. A. Vasil?ev?. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.

Sin título

Carta de Jean Norman para AIA

BR SPCLEARQ FAIA-C-Cp-IT291
Unidad documental simple
1982-11-10

Parte deAyda Ignez Arruda

Carta, em inglês, de Jean Norman para AIA, solicitando a devolução do artigo corrigido rapidamente. [Austrália], 10 nov. 1982. Ass.: Jean Norman. 1p. ms.

Sin título

Ofício GR n. 329/83 de José Aristodemo Pinotti

BR SPCLEARQ FAIA-C-Cp-IT293
Unidad documental simple
1983-04-13

Parte deAyda Ignez Arruda

Ofício GR n. 329/83 de José Aristodemo Pinotti, reitor da Unicamp, para AIA, agradecendo e cancelando o jantar que lhe seria oferecido. Cidade Universitária ?Zeferino Vaz?, 13 abr. 1983. Ass.: José Aristodemo Pinotti. 2p. dat.

Sin título

Carta de Nicola Grana para AIA

BR SPCLEARQ FAIA-C-Cp-IT313
Unidad documental simple

Parte deAyda Ignez Arruda

Carta, em inglês, de Nicola Grana para AIA, comunicando interesse pelos estudos de Lógica Paraconsistente. [Itália, 198-]. Ass.: Nicola Grana. 1p. ms.

Sin título

Carta de Richard Routley para AIA

BR SPCLEARQ FAIA-C-Cp-IT322
Unidad documental simple

Parte deAyda Ignez Arruda

Carta, em inglês, de Richard Routley para AIA, comentando sobre artigos e trabalhos científicos. Austrália, 10 dez. [1982]. Ass.: Richard. 1p. ms.

Sin título

Carta de Richard [Routley] para Newton C. A. da Costa

BR SPCLEARQ FAIA-C-Ct-IT350
Unidad documental simple

Parte deAyda Ignez Arruda

Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. dat.

Sin título

Sobre A Teoria dos Tipos

BR SPCLEARQ FAIA-PIm-A-IT366
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Sin título

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT377
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.

Sin título

Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana

BR SPCLEARQ FAIA-PIm-V-IT379
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

Sin título

Rascunho Sobre os cálculos de predicados de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT381
Unidad documental simple

Parte deAyda Ignez Arruda

Rascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.

Sin título

Estudo de AIA sobre a silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT384
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms

Sin título

Estudo de AIA tratando sobre completude, consistência e decidibilidade de C

BR SPCLEARQ FAIA-PIm-SC-IT390
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, tratando sobre completude, consistência e decidibilidade de C. S.l., S.d. S.ass. 12p. ms.

Sin título

Estudo sobre a completude de C+

BR SPCLEARQ FAIA-PIm-SC-IT391
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

Sin título

Estudo de AIA

BR SPCLEARQ FAIA-PIm-SC-IT392
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.

Sin título

Capítulo I: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT397
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.

Sin título

Capítulo II: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT398
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.

Sin título

Função de verdade e matrizes

BR SPCLEARQ FAIA-PIm-CP-IT401
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.

Sin título

Capítulo I - Introdução aos Conceitos Fundamentais

BR SPCLEARQ FAIA-PIm-EL-IT410
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.

Sin título

Lógicas de conceitos inexatos