Carta, em inglês, de AIA para Cecylia Rauszer, dando informações a respeito do auxílio para a sua visita a Unicamp e sobre a periodicidade do seu curso, e o retorno à direção do IMECC.
Carta de AIA para Paul Weingartner informando que não participará do Congresso de Salzburgo e sugerindo que o seu trabalho seja lido por algum aluno. Ass.: Ayda I. Arruda
Ofício GR-015/80 de Plínio Alves de Moraes, reitor da Unicamp, a Ubiratan D’Ambrósio, diretor do IMECC, solicitando a elaboração de lista sêxtupla para a escolha do novo diretor. Campinas, 09 jan. 1980. Ass.: Plínio Alves de Moraes. 1p. dat. cópia
Carta de Carlos A. Ribeiro de Moura, coordenador da Sub-CPG/DF - IFCH, comunicando a concessão de um novo prazo para a aluna Regina Munhoz da Fonte para a defesa de sua tese de mestrado. Ass.: Carlos R. Moura.
Carta de AIA a Carlos A. Ribeiro de Moura informando ter comunicado o adiamento a aluna [Regina Aparecida Munhoz Fonte] e que a entrevista seja realizada o mais rápido possível. Ass.: Ayda I. Arruda.
Carta, em inglês, de AIA à Profa. Cecylia Rauszer informando que enviará o pedido de auxílio à Fapesp e pedindo que a mesma escreva ao Prof. Cignoli, pois passará por uma cirurgia.
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)