O fundo é constituído de documentos pessoais, administrativos e relacionados a crise de 1981 na Unicamp; correspondência; produção acadêmica e científica; artigos; recortes de jornais e fotografias.
Termo de Contrato de Trabalho entre a Unicamp e AIA. Ass.: Zeferino Vaz, reitor da Unicamp; Ayda Ignez Arruda; Maria de Lourdes Malta Pretti, [funcionária da Unicamp] e testemunhas.
Certificado de participação de AIA no III Encontro Brasileiro de Lógica ocorrido na Universidade Federal de Pernambuco durante 17-21 dez. 1979.Ass.: [Antonio Mário Sette].
Aviso de férias, comunicando o período a ser desfrutado por AIA. Campinas, 02 dez. 1982. Ass.: Ayda I. Arruda; Marly de Lara Romeo, diretoria de pessoal;
Declaração publicada em Diário Oficial do Estado, dando conta do afastamento de AIA junto ao Departamento de Matemática do IMECC a fim de atender convite da Universidade de Varsóvia, Polônia.
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.
Carta de Antonio Mário Sette, diretor associado, convidando AIA para a banca examinadora de defesa de doutorado de Ítala Maria Loffredo D'Ottaviano. Ass.( ___ ).
Carta de Roberto L. O. Cignoli, coordenador do IMECC, convidando AIA para a banca examinadora de defesa de tese de doutorado de Walter Alexandre Carnielli. Ass.: ( ___ ).
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.