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.
SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Izdatel'stvo MGU, p.242-257, 1962. Resenha de: COMEY, David Dinsmore. The Journal of Symbolic Logic, s.l., v.30, n.3, p.368-70, 1965.