Ofício 169/83 de José Aristodemo Pinotti avisando da indicação de AIA para a banca julgadora do concurso para Professor Adjunto do IMECC. Ass.: José Aristodemo Pinotti

Carta, em inglês, de AIA a Diderik Batens informando o envio do primeiro rascunho de seu paper, que seu trabalho com Newton da Costa está pronto e que a crise na Unicamp ainda não foi solucionada.

Carta, em inglês, de AIA a Diderik Batens, acusando recebimento de sua carta e da segunda versão de seu paper, dizendo ter alguns comentários sobre ele, e informando seu retorno à direção do IMECC.

Carta de Rubem A. Alves a José Aristodemo Pinotti, reitor da Unicamp, declarando-se contra a realização de novas eleições para representante dos professores titulares. Campinas, 08 jun. 1982. Ass.: Rubem A. Alves. 2p. dat. cópia.

Termo de Contrato de Trabalho entre a Unicamp e AIA. Ass.: Zeferino Vaz, reitor da Unicamp; Ayda Ignez Arruda; Maria de Lourdes Malta Pretti, [funcionária da Unicamp] e testemunhas.

Carta de AIA para William Saad Hossne, diretor científico da Fapesp, informando que o professor Roberto Cignoli será o substituto para a realização do projeto de contratação do professor Jerzy Kotas como professor visitante. Ass.: Ayda Ignez Arruda

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

Carta de AIA para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório referente à bolsa de mestrado concedida a Regina Aparecida Munhoz Moreno.

Carta de AIA para Manoel Marco Maciel Formiga, superintendente de desenvolvimento científico do CNPq, encaminhando o formulário de pedido de auxílio para participar de congressos na Áustria e em Caracas. Ass.: Ayda Ignez Arruda

Minuta de acordo realizado entre o IMECC e o CLE-Unicamp, estabelecendo a colaboração entre as duas unidades para a realização de eventos e publicações