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

Estudo tratando sobre sistemas lógicos sem a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT435
Item

Estudo de AIA, sem título, tratando sobre sistemas lógicos sem a regra do modus ponens. S.l., S.d. S.ass. 12p. ms.

Untitled

Estudos analisando vários aspectos da lógica

BR SPCLEARQ FAIA-PIm-EL-IT431
Item
1975-09-05

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.

Untitled

Estudos contendo tópicos sobre axiomas

BR SPCLEARQ FAIA-PIm-EL-IT432
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. 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

Extrato contendo movimentação financeira

BR SPCLEARQ FAIA-AA-DASL-IT084
Item

Part of Ayda Ignez Arruda

Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.

Extrato contendo movimentação financeira

BR SPCLEARQ FAIA-AA-DASL-IT082
Item

Part of Ayda Ignez Arruda

Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.

Extrato contendo movimentação financeira

BR SPCLEARQ FAIA-AA-DASL-IT083
Item

Part of Ayda Ignez Arruda

Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.

Extrato contendo movimentação financeira

BR SPCLEARQ FAIA-AA-DASL-IT085
Item

Part of Ayda Ignez Arruda

Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.

Formulário de pedido de auxílio

BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT066
Item

Part of Ayda Ignez Arruda

Formulário de pedido de auxílios Fapesp preenchido por Newton da Costa para projeto de pesquisa intitulado Teoria dos Modelos e Aplicações a ser desenvolvido na Unicamp, Usp e Universidade Católica do Chile.

Função de verdade e matrizes

BR SPCLEARQ FAIA-PIm-CP-IT401
Item

Part of Ayda Ignez Arruda

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

Untitled

Further considerations on the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT498
Item
1968

Part of Ayda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Untitled

Independência de axiomas

BR SPCLEARQ FAIA-PIm-CP-IT402
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

Untitled

Informe de Paul Weingartner

BR SPCLEARQ FAIA-AA-DCS-IT103
Item
1983-03-29

Part of Ayda Ignez Arruda

Informe de Paul Weingartner, presidente do comitê organizador local, aceitando artigo para a publicação nos anais do congresso.

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

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-Impr-IT507
Item

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

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

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

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT126
Item

Part of Ayda Ignez Arruda

Lista de exercícios de AIA, contendo algumas soluções.

Untitled

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT124
Item

Part of Ayda Ignez Arruda

Lista de exercícios de AIA, contendo algumas soluções.

Untitled

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT125
Item

Part of Ayda Ignez Arruda

Lista de exercícios de AIA, contendo algumas soluções.

Untitled

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT127
Item

Part of Ayda Ignez Arruda

Lista de exercícios de AIA, contendo algumas soluções.

Untitled

Lista de professores do IMECC

BR SPCLEARQ FAIA-IU-IT155
Item

Part of Ayda Ignez Arruda

Lista de professores do IMECC que apoiam a interpelação judicial para tirar Frederico Pimentel do cargo de direção do instituto.

Untitled

Lógicas de conceitos inexatos

BR SPCLEARQ FAIA-PIm-EL-IT414
Item

Part of Ayda Ignez Arruda

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

Untitled

Manifestação da congregação do IMECC

BR SPCLEARQ FAIA-IU-CNM-IT168
Item
1981-10-22

Part of Ayda Ignez Arruda

Manifestação da congregação do IMECC, elogiando o trabalho de AIA como diretora do IMECC e criticando a maneira como foi exonerada de seu cargo.

Untitled

Manifestação de docentes do IMECC

BR SPCLEARQ FAIA-IU-CNM-IT167
Item
1981-10-22

Part of Ayda Ignez Arruda

Manifestação de docentes do IMECC, repudiando os atos do reitor e dando apoio a AIA.

Untitled

Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT508
Item
[1978]

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Untitled

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT496
Item
1982-02

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

Untitled

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT497
Item
1982

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

Untitled

Matrizes