Showing 732 results

Archival description
Ayda Ignez Arruda
Print preview
Card view Table view
22 results with digital objects Show results with digital objects
A Evolução do Método Axiomático
BR SPCLEARQ FAIA-Impr-IT466 · Item
Part of Ayda Ignez Arruda
ARRUDA, Ayda Ignez. A Evolução do Método Axiomático. Revista Brasileira de Filosofia, São Paulo, v. XIV, fasc. 54, s.d. p. 209-221. Untitled
A survey of Paraconsistent Logic
BR SPCLEARQ FAIA-Impr-IT467 · Item
Part of Ayda Ignez Arruda
ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.) Untitled
Adendo ao processo 78/0232
BR SPCLEARQ FAIA-AA-Fapesp-DLS-IT060 · Item
Part of Ayda Ignez Arruda
Adendo ao processo 78/0232 aprovando a utilização de saldo de dezenove mil e quinhentos cruzeiros no pagamento de mais de um mês de manutenção do professor Leslaw Szczerba.
Aerograma de Ken para AIA
BR SPCLEARQ FAIA-C-Cp-IT296 · Item · 1982-02-13
Part of Ayda Ignez Arruda
Aerograma, em inglês, de Ken para AIA, comunicando o atraso no recebimento de correspondências, e informando sobre novas pesquisas. Annapolis, 13 fev. 1982. Ass.: Ken. 1p. 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
Álgebras de conjuntos não-clássicas
BR SPCLEARQ FAIA-PIm-A-IT360 · Item · ? - 1966-10-17
Part of Ayda Ignez Arruda
Artigo de AIA, intitulado Álgebras de conjuntos não-clássicas. Universidade de São Paulo, 17 out. 1966. S.ass. 10p. dat. cópia. Untitled
Apresentação de atividades
BR SPCLEARQ FAIA-AA-IT031 · Item
Part of Ayda Ignez Arruda
Apresentação das atividades informando as atividades a serem desenvolvidas pela professora Cecylia Rauszer os benefícios às comunidades científicas do país.
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
Artigo sem título
BR SPCLEARQ FAIA-PIm-A-IT369 · Item
Part of Ayda Ignez Arruda
Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat. Untitled
Aspects of the historical development of Paraconsistent Logic
BR SPCLEARQ FAIA-Impr-IT469 · Item · 1980-02
Part of Ayda Ignez Arruda
ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas) Untitled
Ata da 24ª reunião extraordinária
BR SPCLEARQ FAIA-AAdm-A-IT147 · Item · 1980-03-04
Part of Ayda Ignez Arruda
Ata da 24ª reunião extraordinária da congregação do IMECC, tratando da eleição para diretor do instituto e ainda do projeto Financiadora de Estudos e Projetos (FINEP). Untitled