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.
Aviso de férias, comunicando o período a ser desfrutado por AIA. Campinas, 02 dez. 1982. Ass.: Ayda I. Arruda; Marly de Lara Romeo, diretoria de pessoal;
Ata da 24ª reunião extraordinária da congregação do IMECC, tratando da eleição para diretor do instituto e ainda do projeto Financiadora de Estudos e Projetos (FINEP).
Ata da reunião extraordinária da congregação do IMECC, tratando do problema da transferência do professor Tomasz Kowaltowski da Universidade de São Paulo para a Unicamp.
Ata da reunião extraordinária da congregação do IMECC, tratando da nomeação de interventores na Unicamp e convocando assembléias permanentes para discutir este assunto.
Ofício C.V.47/00116 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Bacharelado na Unicamp em 1982. Ass.: Setembrino Petri
Ofício C.V.47/00119 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Ciência da Computação na Unicamp em 1982. Ass.: Setembrino Petri.
Carta de Carlos A.R. de Moura, coordenador da Sub/CPG/DF/IFCH, enviando lista de alunos e os respectivos prazos para defesa de tese. Ass.: Carlos R. Moura.
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, 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 espanhol, de Carlos Di Prisco para AIA, comunicando pedido de auxílio para viagem e informando as dificuldades políticas e econômicas na Venezuela. Caracas, 10 mar. 1983. Ass.: Carlos Di Prisco. 1p. ms.
Carta, em inglês, de Diderik Batens para AIA, informando sobre os trabalhos a serem publicados e desejando sua recuperação. S.l., 25 out. 1982. Ass.: Diderik. 1p. dat.
Cartão, em inglês, de Francisco Xavier Caicedo e Carmem para AIA, desejando boas festas e rápida recuperação. S.l., 21 dez. 1982. Ass.: Xavier Caicedo; Carmem. 1p. ms.
Carta, em inglês, de J.C. Kuipers para AIA, indagando sobre possível interesse da D. Reidel Publishing Company em publicar o livro ?Paraconsistent Logic?. Dordrecht, 23 abr. 1982. Ass.: J.C. Kuipers. 1p. dat.
Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro ?The Logical Views of N. A. Vasil?ev?. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.
