Carta de Ubiratan D’Ambrósio, diretor do IMECC, a H. Roher, convidando-o para participar de banca examinadora do exame de qualificação do doutorado de Lilian Torng Sheng. Campinas, 23 nov. 1976. Ass.: ( ___ ). 1p. dat. cópia.
Carta, em inglês, de AIA a Diderik Batens, agradecendo sua carta e dizendo estar bem confiante com o tratamento e que espera em breve retornar a fazer pesquisas. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.
Carta de AIA ao Prof. E.G.K. Lopez-Escobar contando sobre o retorno aos trabalhos científicos e administrativos, sobre a sua saúde e sobre as atividades de Itala, Sette, Luís Paulo, Cignoli e Elias. Campinas, [20] jan. 1983. S.ass. 2p. dat. cópia.
Notas de aula, em inglês, de Ryszard Wojcicki, do curso intitulado Topics in the theory of propositional logics. [Unicamp], 1981. Ass.: Ryszard Wojcicki. 116p. ms. cópia.
Carta de AIA a E.G.K. Lopez-Escobar, informando sobre o andamento dos seus trabalhos sobre Vasil'év, sobre a visita da Profa. Cecylia Rauszer e sobre a leitura do livro que ele lhe enviou. Campinas, 11 mar. 1983. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA ao Prof. E.G.K. Lopez-Escobar, informando sobre o andamento dos seus artigos sobre Vasil'év e pedindo cópia de alguns textos. Campinas, 08 abr. 1983. S.ass. 1p. dat. cópia.
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.
ARRUDA, Ayda I. The Paradox of Russell in the Systems Nfn. Proceedings of the Third Brazilian Conference on Mathematical Logic. [Campinas: SBL-Unicamp], p. 1-2, 1980.