Cartaz da palestra de AIA intitulada Aspectos do Desenvolvimento Histórico da Lógica Paraconsistente, apresentada durante ciclo de palestras realizada na PUCRJ. S.ass.
Ofício SG/2 118/83 de José Aristodemo Pinotti informando da indicação de AIA para a banca julgadora do Concurso de Livre Docência de alguns professores. Ass.: Ferdinando de Oliveira Figueiredo
Carta de AIA a Carlos A. Ribeiro de Moura informando ter comunicado o adiamento a aluna [Regina Aparecida Munhoz Fonte] e que a entrevista seja realizada o mais rápido possível. Ass.: Ayda I. Arruda.
Carta da Fapesp convidando AIA para uma reunião sobre a política científica da Fapesp e seus aspectos financeiros na área de Ciências Matemáticas. Ass.: Ruy Carlos de Camargo Vieira
ARRUDA, Ayda I. Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics. Mathematical Logic: Proceedings of the First Brazilian Conference, Nova Iorque, p. 9-29, 1977.