Ofício 46/83 de José Aristodemo Pinotti, reitor da Unicamp, avisando da indicação de AIA para integração da banca julgadora do concurso de Professor Adjunto do IQ-Unicamp. Ass.: José Aristodemo Pinotti.

Carta de AIA para Paul Weingartner comunicando o envio do trabalho para apresentação no Congresso e que não recebeu o convite oficial. Solicitando informações sobre o pagamento de suas despesas com a viagem, pois caso não a receba, não participará do congresso. Ass., Ayda Arruda

Carta de José Norberto W. Dachs, coordenador da CPG-IMECC, a Ubiratan D’Ambrósio, diretor do IMECC, solicitando reconhecimento de diplomas estrangeiros. Campinas, 16 maio 1976. Ass.: Carlos Segovia. 1p. dat.

Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms.

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Carta, em inglês, de AIA Profa. Cecylia Rauszer, informando a devolução do auxílio concedido pela Fapesp para sua vinda a Unicamp e solicitando uma nova data para o 1o semestre de 1983.

Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.

Daruge não vai continuar. S.l.: s.n., 31 out. 1981. p.11.

Carta, em inglês, de Caba para AIA, exprimindo admiração pelas idéias e comportamento de AIA. S.l., 13 mar. 1983. Ass.: Caba. 1p. dat.

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.