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.
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.
ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.
Termo de outorga e aceitação de auxílio Fapesp do projeto de contratação do professor Jerzy Kotas como professor visitante, registrado como processo n° 78/1294, concedido a AIA. Ass.: Ayda Ignez Arruda
Recibo do CNPq emitido por Oswaldo Chateaubriand a AIA referente ao pagamento de ajuda de custa pela participação no Ciclo de Palestras de Professores e Pesquisadores, realizado na Pontifícia Universidade Católica-RJ. Ass.: Ayda Ignez Arruda
Carta de Ruth Barcan Marcus, presidente do comitê organizador, para AIA comunicando a respeito da organização do congresso de Salzburgo. Ass.: R.B. Marcus
Carta de AIA para Paul Weingartner comunicando o envio da inscrição para o Congresso, sua reserva de hotel e pedindo informações sobre o pagamento de suas despesas.
Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.
Ofício C.V.47/00118 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Estatística na Unicamp em 1982. Ass.: Setembrino Petri
Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.
Carta, em inglês, de AIA a E.G.K. Lopez-Escobar, agradecendo o recebimento dos livros, informando a respeito de atividades científicas e sobre o curso que Cecylia Rauszer está ministrando na Unicamp. Campinas, 04 maio 1983. S.ass. 2p.dat cópia.
Carta, em inglês, de AIA a Graham Priest, agradecendo os votos de boa saúde e aprovando as correções feitas em seu artigo. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Hristo Smolenov, agradecendo os votos de Feliz Ano Novo, cumprimentando-o pelo doutorado obtido, informando que não tem pesquisado por problemas de saúde. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Hristo Smolenov, comentando sobre o sumário e informando sobre seus trabalhos sobre Vasil'év. Campinas, 14 mar. 1983. S.ass. 1p dat. cópia.
Carta de AIA ao Prof. Manuel Corrada, informando que havendo verba da FINEP para o mês de agosto os Profs. George Wilmers e Jeff Paris serão convidados para virem à Unicamp. Campinas, 05 abr. 1983. S.ass. 1p. dat.
Carta, em inglês, de AIA a Paolo Bottura, agradecendo o envio de sua tese e informando a finalização da perimeira série de 3 artigos sobre Vasil'év. Campinas, 04 abr. 1983. Ass.: Ayda I. Arruda. 1p. dat.
Carta, em inglês, de AIA ao professor Sava Petrov, informando recebimento do ensaio e dando conta do fim da crise na universidade. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Carta, em espanhol, de Andrés Raggio para AIA, comunicando envio de bibliografia e informando endereço em Paris. S.l., 19 ago. 1982. Ass.: Raggio. 1p. ms.