ARRUDA, Ayda Ignez. Remarks on da Costa Paraconsistent set theories. Campinas: Unicamp, fev. 1982. 25p. (Relatório Interno, n° 197, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)
Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.
Martha, Yvonne, Jeanne, Carlos, filho Walter Pires, Jacqueline de Leers Costa Ribeiro, Joaquim da Costa Ribeiro, Almirante Álvaro Alberto Mota e Silva e outros
JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.
Recibo do CNPq emitido por Oswaldo Chateaubriand a AIA referente ao pagamento de ajuda de custa pela participação no Ciclo de Palestras de Professores e Pesquisadores, realizado na Pontifícia Universidade Católica-RJ. Ass.: Ayda Ignez Arruda
Recibo de Rolando Chuaqui declarando ter recebido de AIA seis mil cruzeiros referentes ao auxilio viagem para estadia na Unicamp durante o mês de mar. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Rolando Chuaqui
Recibo de Luiz Paulo de Alcântara declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Luiz Paulo de Alcântara