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

BR SPCLEARQ FAIA-C-Ca-IT205
Item
1982-03-16

Carta, em inglês, de AIA ao professor Xavier Caicedo, informando preços e locais para estadia em Campinas e solicitando esclarecimentos quanto ao seu nome oficial. S.l., 16 mar. 1982. S.ass. 1p. dat. cópia.

Untitled

Carta da Presidência do Conselho Técnico Administrativo da Fapesp

BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT041
Item

Part of Ayda Ignez Arruda

Carta da Presidência do Conselho Técnico Administrativo da Fapesp solicitando à professora AIA o envio do relatório científico referente ao processo 82/1543-8. Ass.: Anita Bueno.

Capítulo II: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT398
Item

Part of Ayda Ignez Arruda

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

Untitled

Capítulo II - Teoria de conjuntos An

BR SPCLEARQ FAIA-PIm-EL-IT411
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

Untitled

Capítulo I: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT397
Item

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-PIm-EL-IT410
Item

Part of Ayda 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.

Untitled

Cálculos Implicativos Gerais

BR SPCLEARQ FAIA-PIm-EL-IT409
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Untitled

Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT396
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Untitled

Cálculo de predicados de ordem superior

BR SPCLEARQ FAIA-PIm-CP-IT395
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.

Untitled

Caderno de AIA

BR SPCLEARQ FAIA-AA-DD-IT123
Item
1973-10-07

Part of Ayda Ignez Arruda

Caderno de AIA contendo anotações sobre história da matemática e da lógica e planos de aulas.

Untitled

Caderno contendo anotações sobre lógicas relevante

BR SPCLEARQ FAIA-PIm-EL-IT434
Item
1976-09-16 - 1976-10-07

Part of Ayda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.

Untitled

Aviso de recebimento de prestação de contas

BR SPCLEARQ FAIA-AA-Fapesp-DJK-IT056
Item

Part of Ayda Ignez Arruda

Aviso de recebimento da prestação de contas do professor Jerzy Kotas enviada por AIA para a Fapesp. Ass.: Jerzy Kotas

Aspects of the Historical Development of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-EL-IT408
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.

Untitled

Artigo cálculos proposicionais

BR SPCLEARQ FAIA-PIm-EL-IT406
Item

Part of Ayda Ignez Arruda

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Untitled

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT297
Item
? - 1982-12-25

Part of Ayda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT298
Item
? - 1983-01-05

Part of Ayda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT299
Item
? - 1983-03-05

Part of Ayda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.

Untitled

Abstract da palestra Implicative Systems and Modus Ponens Rule

BR SPCLEARQ FAIA-PIm-EL-IT412
Item
1972-07

Part of Ayda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Untitled

A teoria de primeira ordem v

BR SPCLEARQ FAIA-PIm-EL-IT407
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Untitled

A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias

BR SPCLEARQ FAIA-PIm-EL-IT437
Item
1974-12-05 - 1975-12-09

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.

Untitled

Narrow your results by:

Language

Part of

Name

Place

Subject

Showing 261 results