A subsérie contém estudos de AIA sobre as teorias desenvolvidas pelo lógico Vasil'év.

A subsérie contém estudos de AIA sobre os sistemas proposicionais Cn, Cω e relacionados.

Na série Produção Intelectual de Terceiros Manuscrita encontram-se textos, rascunhos, traduções, notas de aula e versões preliminares de artigos de outros pesquisadores.

A Série Produção Intelectual Manuscrita é constituída pelos textos de AIA não publicados, rascunhos, versões preliminares de trabalhos publicados e estudos. Os documentos estão agrupados em cinco subséries de acordo com sua especificidade e temática, sendo separados em: Artigos; Vasil'év; Sistemas Cn, Cω e Relacionados; Cálculos Proposicionais, de Predicados e Matrizes; e Estudos em Lógica.

A subsérie reune as Minutas de documentos produzidas enquanto AIA exercia o cargo de diretora do IMECC.

A série Interventores na Unicamp possui documentos relacionados a crise de 1981 na Unicamp. Esta série está dividida nas subséries Atos do Reitor, que contém publicações no Diário Oficial do Estado de São Paulo com as medidas tomadas pelo reitor da Unicamp durante a crise; Correspondência, Notícias e Manifestos, que contém ofícios, artigos de jornal e manifestações de servidores, docentes e estudantis dando apoio a AIA e outros professores atingidos pela crise; e Ações Judiciais, que contém cópias completas dos processos dos mandados de segurança contra as ações do reitor.