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.
Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
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 AIA para Paul Weingartner informando participação em seção do VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência. Ass.: Ayda Ignez Arruda
Carta de AIA para Paul Weingartner informando que não participará do Congresso de Salzburgo e sugerindo que o seu trabalho seja lido por algum aluno. Ass.: Ayda I. Arruda
Carta de AIA para Paul Weingartner informando que não participará do Congresso de Salzburgo e sugerindo que o seu trabalho seja lido por algum aluno. Ass.: Ayda I. Arruda
Ofício GR-581/75 de Zeferino Vaz, reitor da Unicamp, para Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, informando que aceita o convite para que o III Simpósio Latino-Americano de Lógica seja realizado na Unicamp e que a profesora AIA foi designada para coordenar todas as atividades relativas ao simpósio. Ass.: Zeferino Vaz
Minuta de acordo realizado entre o IMECC e o CLE-Unicamp, estabelecendo a colaboração entre as duas unidades para a realização de eventos e publicações
Ata da primeira sessão extraordinária do Conselho Diretor da Unicamp, tratando da elaboração da lista de candidatos a futuro reitor e informando sobre os procedimentos do processo eleitoral.
Ata da 40a reunião da congregação do IMECC, discutindo propostas de remodelação da Unicamp, processos de convalidação de créditos, reformulações na ata anterior e outros assuntos.
Ofício GR. 985/83 de José Aristodemo Pinotti para AIA solicitando a conclusão dos trabalhos sobre a sistematização das bibliotecas da Universidade. Ass.: José Aristodemo Pinotti.
Ato do reitor, exonerando oito diretores de institutos de seus cargos, dentre eles, AIA, diretora do IMECC. Ass.: Plínio Alves de Moraes, reitor da Unicamp.
Diário Oficial do Estado de São Paulo, contendo portaria do reitor, tornando sem efeito a nomeação de alguns diretores de institutos e designando novos diretores para outros.
Cópia de telex enviado ao MEC, da Sociedade Brasileira de Lógica para a Associação dos Docentes da Unicamp, repudiando os atos do reitor, em especial o afastamento de AIA da direção do IMECC.
Carta, em inglês, de AIA a Mrs. Bonita Ross, agradecendo o review do "Proceedings of the third Brazilian Conference on Mathematical Logic" e informando o novo endereço da SBL nos próximos dois anos.
