Carta, em inglês, de Diderik Batens para AIA, lamentando seus problemas de saúde e comentando sobre o trabalho escrito por ambos. Gent, 05 ago. 1982. Ass.: Diderik. 1p. dat.
Carta, em inglês, de Francisco Xavier Caicedo para AIA, comunicando dia de viagem, solicitando reservas e dando explicações quanto ao seu nome oficial. Bogotá, 31 mar. 1982. Ass.: Xavier Caicedo. 1p. dat.
Carta, em inglês, de Graham Priest para AIA, desejando rápida recuperação de saúde e informando sobre publicação de artigos. London, 20 dez. [1982]. Ass.: Graham Priest. 1p. ms.
Carta, em inglês, de Jaime Bohorquez para AIA, informando seu novo endereço, a obtenção do grau de doutor e reafirmando seu interesse em trabalhar em Campinas. Bogotá, 12 set. 1982. Ass.: Jaime Bohorquez. 1p. dat.
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, 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.
Carta, em inglês, de Jean Norman para AIA, solicitando a devolução do artigo corrigido rapidamente. [Austrália], 10 nov. 1982. Ass.: Jean Norman. 1p. ms.
ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.
Carta, em inglês, de Nicola Grana para AIA, enviando trabalho e solicitando outros ainda não publicados na Itália. S.l., S.d. Ass.: Nicola Grana. 1p. 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.
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.