Carta, em inglês, de Diderik Batens para AIA, informando problemas com publicação feita em conjunto e solicitando correções em artigo. Gent, 17 jul. 1982. Ass.: Diderik. 4p. dat.
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.
Carta, em inglês, de Ken para AIA, comunicando o envio de cópia do artigo de E.L. Post e informando que está procurando o livro. Annapolis, 18 abr. 1983. Ass.: Ken. 1p.
Carta, em espanhol, de Lorenzo Peña para AIA, solicitando comentários ao livro Aporetic and Nonaporetic Paradoxes from the Viewpoint of na Axiomatized Contradictional Fuzzy Set-Theory. Quito, 06 abr. 1982. Ass.: Lorenzo Peña. 2p. ms.
Carta, em espanhol, de Lorenzo Peña par AIA, desejando um felicidades no novo ano e falando sobre o trabalho a ser apresentado no Congresso de Salzburg. Quito, 09 dez. 1982. Ass.: Lorenzo. 1p. ms.
Carta, em espanhol, de Manoel Corrada para AIA, falando sobre a possibilidade dos professores Jeff Paris e George Wilmers visitarem a Unicamp. Santiago de Chile, 22 mar. 1983. Ass.: Manoel Corrada. 1p. ms.
Carta, em espanhol, de M. Dickmann para AIA, comunicando seu interesse em vir à Campinas quando de sua participação no VI SLALM e solicitando uma resposta quanto sua vinda ao Brasil. Paris, 19 jan. 1982. Ass.: Marcel Dickmann. 1p.
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.
Carta, em inglês, de Richard Routley para AIA, comentando sobre seus trabalhos e sobre o livro Paraconsistent Logic. Austrália, 11 fev. - . Ass.: Richard. 1p. ms.
Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. 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.
Termo de outorga e aceitação de auxílio Fapesp do projeto de contratação do professor Jerzy Kotas como professor visitante, registrado como processo n° 78/1294, concedido a AIA. Ass.: Ayda Ignez Arruda
Recibo do CNPq emitido por Oswaldo Chateaubriand a AIA referente ao pagamento de ajuda de custa pela participação no Ciclo de Palestras de Professores e Pesquisadores, realizado na Pontifícia Universidade Católica-RJ. Ass.: Ayda Ignez Arruda