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

BR SPCLEARQ FAIA-C-Cp-IT332
Unidad documental simple
? - 1976-05-25

Carta, em inglês, de W.W. Tait para AIA, recomendando e comentando o trabalho de Bruce Rose. [Chicago], 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.

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

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

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.

Sin título

Sur l’ensemble R dans NFw

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

Parte deAyda Ignez Arruda

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Sin título

Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P

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

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.

Sin título

Estudos analisando vários aspectos da lógica

BR SPCLEARQ FAIA-PIm-EL-IT431
Unidad documental simple
1975-09-05

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Sin título

Estudo sobre a regra do modus ponens

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

Parte deAyda Ignez Arruda

Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. ms.

Sin título

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-Impr-IT494
Unidad documental simple

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, s.d.

Sin título

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT496
Unidad documental simple
1982-02

Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Sin título

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT497
Unidad documental simple
1982

Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Sin título

On the relevant systems P and P* and some related systems

BR SPCLEARQ FAIA-Impr-IT501
Unidad documental simple
1980-05

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

Sin título

Sur le schèma de la sèparation

BR SPCLEARQ FAIA-Impr-IT502
Unidad documental simple
1970-03

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

Sin título

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-Impr-IT507
Unidad documental simple

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.

Sin título

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT297
Unidad documental simple
? - 1982-12-25

Parte deAyda 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.

Sin título

Carta de Marek Palasinski para AIA

BR SPCLEARQ FAIA-C-Cp-IT310
Unidad documental simple
? - 1982-02-03

Parte deAyda 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.

Sin título

Carta de Maria da Graça Rodrigues

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

Parte deAyda 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.

Sin título

Carta de Oswaldo Porchat Pereira para AIA

BR SPCLEARQ FAIA-C-Cp-IT318
Unidad documental simple
? - 1983-07-03

Parte deAyda 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.

Sin título

Carta de Paolo Bottura para AIA

BR SPCLEARQ FAIA-C-Cp-IT319
Unidad documental simple
? - 1982-05-05

Parte deAyda 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.

Sin título

Carta de Paolo Bottura para AIA

BR SPCLEARQ FAIA-C-Cp-IT320
Unidad documental simple
? - 1982-03-12

Parte deAyda 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.

Sin título

Aplicação de Matrizes

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

Parte deAyda Ignez Arruda

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

Sin título

Decidibilidade do cálculo implicativo clássico

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

Parte deAyda Ignez Arruda

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

Sin título

Introdução: 3 – Matrizes

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

Parte deAyda Ignez Arruda

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

Sin título

Matrizes

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

Parte deAyda Ignez Arruda

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

Sin título

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

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

Parte deAyda 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.

Sin título

Artigo cálculos proposicionais

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

Parte deAyda 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.

Sin título

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