ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)
ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.
ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.
ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)
ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)
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.
Ofício IMECC/DI-062/81 da congregação do IMECC para o reitor da Unicamp criticando suas ações, dispensando de seus cargos oito diretores de institutos, dentre eles, AIA, diretora do IMECC.
Trecho de reportagem contida em O Diário de Piracicaba, contendo comunicado da reitoria da Unicamp esclarecendo e justificando os atos do reitor. Cidade Universitária "Zeferino Vaz
Diário Oficial do Estado de São Paulo, contendo despachos do reitor da Unicamp, indeferindo as solicitações de fruição da licença-prêmio de alguns funcionários
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.
Diário Oficial do Estado de São Paulo, contendo portaria do reitor, demitindo 14 funcionários da Unicamp, dispensando oito diretores de Institutos de seus cargos e nomeando os substitutos.