ARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.
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].
ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.
Termo de outorga e aceitação de auxílio Fapesp do projeto VI Encontro Brasileiro de Lógica, registrado como Processo 2/1543-8, concedido a AIA. Ass.: Ayda Ignez Arruda
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando auxílio para participar de congressos na Áustria e em Caracas. Ass.: Ayda Ignez Arruda.
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, retificando pedido de auxílio n° 83/038.8-1 para participar somente do congresso em Caracas. Ass.: Ayda Ignez Arruda
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o cancelamento do auxílio n° 83/038.8-1 para participar do congresso em Caracas.
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando auxílio para o pagamento das passagens aéreas Varsóvia - São Paulo – Varsóvia de Leslaw Szczerba, professor visitante no IMECC durante junho e julho de 1978. Ass.: Ayda Ignez Arruda
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
Recibo de Elias Humberto Alves 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.: Elias Humberto Alves
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
Carta de Paul Weingartner, presidente do comitê organizador local, para AIA solicitando o envio do artigo a ser apresentado no congresso e comunicando a impossibilidade de auxílio financeiro para a viagem. Ass.: Paul Weingartner
Carta de AIA para Ruth Barcan Marcus dizendo que pretende aceitar o convite para participar do Congresso, em Salzburgo, que está preparando um artigo sobre História da Lógica para o evento e solicitando o envio de um convite oficial para obter auxílio financeiro
Carta de AIA para Paul Weingartner comunicando o envio da inscrição para o Congresso, sua reserva de hotel e pedindo informações sobre o pagamento de suas despesas.
Ofício C.V.47/00117 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Licenciatura na Unicamp em 1982. Ass.: Setembrino Petri.
Ofício GR. 870/83 de José Aristodemo Pinotti para AIA solicitando que reconsidere o seu pedido de demissão do cargo de Suplente da Comissão de Orçamento e Patrimônio. Ass.: José Aristodemo Pinotti.
Carta de AIA ao Prof. E.G.K. Lopez-Escobar contando sobre o retorno aos trabalhos científicos e administrativos, sobre a sua saúde e sobre as atividades de Itala, Sette, Luís Paulo, Cignoli e Elias. Campinas, [20] jan. 1983. S.ass. 2p. dat. cópia.
Carta de AIA a E.G.K. Lopez-Escobar, informando sobre o andamento dos seus trabalhos sobre Vasil'év, sobre a visita da Profa. Cecylia Rauszer e sobre a leitura do livro que ele lhe enviou. Campinas, 11 mar. 1983. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA ao Prof. E.G.K. Lopez-Escobar, informando sobre o andamento dos seus artigos sobre Vasil'év e pedindo cópia de alguns textos. Campinas, 08 abr. 1983. S.ass. 1p. dat. cópia.