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

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

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

Linguagem de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT413
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Untitled

O sistema A de Ackermann

BR SPCLEARQ FAIA-PIm-EL-IT415
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Untitled

Sobre o Sistema G1 de Gentzen

BR SPCLEARQ FAIA-PIm-EL-IT424
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Untitled

Estudos tratando sobre vários aspectos pertinentes à lógica relevante

BR SPCLEARQ FAIA-PIm-EL-IT433
Item
1976-08-29

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.

Untitled

Teoria de Conjuntos R e cálculos diversos

BR SPCLEARQ FAIA-PIm-EL-IT438
Item

Part of Ayda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.

Untitled

Estudo contendo demonstrações de vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT439
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.

Untitled

Estudo contendo vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT440
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.

Untitled

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-Impr-IT499
Item
1974

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

Untitled

Transformadas no Cálculo Restrito de Predicados

BR SPCLEARQ FAIA-Impr-IT505
Item
1966-12,

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

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

Carta de Marek Palasinski para AIA

BR SPCLEARQ FAIA-C-Cp-IT310
Item
? - 1982-02-03

Part of Ayda Ignez Arruda

Carta, em inglês, de Marek Palasinski para AIA, comunicando dificuldades políticas na Polônia e remetendo endereço e nome de acompanhante de viagem para AIA. Cracóvia, 03 fev. 1982. Ass.: Marek. 1p. ms.

Untitled

Carta de Maria da Graça Rodrigues

BR SPCLEARQ FAIA-C-Cp-IT312
Item

Part of Ayda Ignez Arruda

Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.

Untitled

Carta de Oswaldo Porchat Pereira para AIA

BR SPCLEARQ FAIA-C-Cp-IT318
Item
? - 1983-07-03

Part of Ayda Ignez Arruda

Carta de Oswaldo Porchat Pereira para AIA, falando-lhe sobre sua estada em Londres e perguntando sobre as atividades de AIA. Londres, 03 jul. 1983. Ass.: Porchat. 1p. dat.

Untitled

Carta de Paolo Bottura para AIA

BR SPCLEARQ FAIA-C-Cp-IT319
Item
? - 1982-05-05

Part of Ayda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, informando sobre trabalho científico e solicitando cópia de artigos. Montalto Dora, 05 maio 1982. Ass.: Paolo Bottura. 1p. dat.

Untitled

Carta de Paolo Bottura para AIA

BR SPCLEARQ FAIA-C-Cp-IT320
Item
? - 1982-03-12

Part of Ayda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, expondo questões sobre um artigo de Ayda. Montalto Dora, 12 mar. 1982. Ass.: Paolo Bottura. 2p. dat.

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

Decidibilidade do cálculo implicativo clássico

BR SPCLEARQ FAIA-PIm-CP-IT400
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.

Untitled

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Untitled

Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT404
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Untitled

Várias axiomáticas para o cálculo proposicional clássico

BR SPCLEARQ FAIA-PIm-CP-IT405
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.

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

Observações sobre um sistema sem a regra do modus ponens