Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.
Carta de Alexandre A. Martins Rodrigues para AIA, comunicando a impossibilidade de participar em bancas de concurso e indicando o período mais apropriado para tal. Saint Martin-d?Hers, 25 abr. 1983. Ass.: Alexandre A. Martins Rodrigues. 1p. ms.
Carta, em espanhol, de Andrés Raggio para AIA, descrevendo a situação econômica da Argentina e comunicando interesse em trabalhar no Brasil. El Olvido, 24 mar. 1982. Ass.: Raggio. 1p. dat.
Carta, em espanhol, de Andrés Raggio para AIA, comunicando a data de início do curso e solicitando informações sobre trabalhos científicos. El Olvido, 28 abr. 1982. Ass.: Raggio. 1p. dat.
Carta, em inglês, de Bonita Ross para AIA, comunicando o envio de publicação e solicitando endereço da Sociedade Brasileira de Lógica. S.l., 07 fev. 1983. Ass.: Bonita Ross. 1p. dat.
Carta, em espanhol, de Carlos Di Prisco para AIA, comunicando a realização do VI Simpósio Latino-Americano de Lógica Matemática e convidando AIA para proferir uma conferência. Caracas, 22 abr. 1982. Ass.: Carlos Di Prisco. 1p. dat. cópia.
Carta, em inglês, de Francisco Xavier Caicedo para AIA, enviando documentos, artigos e solicitando informações sobre possível publicação de artigos no Brasil. Bogotá, 17 fev. 1982. Ass.: Xavier Caicedo. 1p. dat.
Carta, em inglês, de Georg Dorn, organização do VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência, para AIA, convidando-a e solicitando título do trabalho a ser apresentado. Salzburg, 25 fev. 1983. Ass.: Georg Dorn. 1p. dat
Cartão em inglês de Hristo Smolenov, dizendo estar contente com sua recuperação e solicitando a opinião AIA sobre um trabalho científico. [Sofia], S.d. Ass.: Hristo. 1p. ms.
Carta, em inglês, de J.C. Kuipers para AIA, indagando seu interesse em publicar o livro ?A Survey of Paraconsistent Logic? e solicitando que ela escreva diretamente ao professor Hintikka. Dordrecht, 16 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.
Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, comunicando seu contentamento em tê-la recebido em Tecklenburg e informando sobre trabalhos em lógica. [Münster], 15 fev. 1982. Ass.: K. Sadegh-Zadeh. 1p. ms.
Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, agradecendo o cartão de natal recebido, retribuindo e desejando vê-la em breve em Tecklenburg. [Münster], 20 dez. 1982. Ass.: Kazem & Family. 1p. ms.
Cartão postal de Leopoldo Nachbin e demais participantes da reunião de Análise Funcional para AIA, desejando votos de breve retorno à direção do IMECC. Rio de Janeiro, S.d. Ass.: Leopoldo Nachbin; Mário Matos; Guido Zapata e outros. 1p. ms.
Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms.
ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.
ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.
