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.
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.
