O conjunto é constituído por 24.029 procedimentos administrativos conduzidos pelos procuradores do Ministério Público do Trabalho da 15a Região (Campinas), entre 1991 e 2010. A documentação abrange 598 municípios do Estado de São Paulo, tratando
de diversos temas concernentes a infrações de direitos humanos e trabalhistas. Contém ainda 157 gravações em vídeo originárias da Biblioteca do MPT-15 (produzidas pela própria instituição ou por outras entidades, e que dizem respeito ao órgão, seus funcionários e atividades).

Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.

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.)

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

LAZARI, Henrique. Comutadores em Variedades de Mal'cev. jun. 1982. 61 p. Dissertação (Mestrado em Matemática) - Instituto de Matemática, Estatística e Ciência da Computação; Universidade Estadual de Campinas. cópia.

SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.

Carta aberta para o povo. Diário do Povo, Campinas, 24 out. 1981. Local, p.7.

HC: pressão nas eleições. Diário do Povo, Campinas, 24 out. 1981. Local, p.7.

Requerimento de AIA ao reitor da Unicamp, solicitando os benefícios previstos na Lei Complementar n.318, de 10.03.83. Ass.: Ayda Ignez Arruda.