ARRUDA, Ayda I. The Paradox of Russell in the Systems Nfn. Proceedings of the Third Brazilian Conference on Mathematical Logic. [Campinas: SBL-Unicamp], p. 1-2, 1980.
Termo de Prorrogação de Contrato de JCVM como Professor Assistente Doutor, MS-3, em RDIDP, junto à Área de Ótica do DESCM/ IF/ Unicamp, T.A.047/76, por mais 730 dias, a partir de 31/05/1975. Ass. JCVM e contratante.
Termo de outorga e aceitação de auxílio Fapesp do projeto de pagamento das passagens aéreas do professor Leslaw Szczerba, registrado como processo 78/0232, concedido a AIA. Ass.: Ayda Ignez Arruda
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
Termo de outorga e aceitação de auxílio Fapesp do projeto VI Encontro Brasileiro de Lógica, registrado como Processo 2/1543-8, concedido a AIA. Ass.: Ayda Ignez Arruda
Termo de Contrato de Trabalho entre a Unicamp e AIA. Ass.: Zeferino Vaz, reitor da Unicamp; Ayda Ignez Arruda; Maria de Lourdes Malta Pretti, [funcionária da Unicamp] e testemunhas.
Termo de concessão de aditivo de auxílio Fapesp do projeto de contratação do professor Jerzy Kotas relativo ao reajuste da passagem de vinda. Ass.: Roberto Cignoli
Telex de JCVM a Ernest Göbel informando sobre data da viagem, tempo de permanência e solicitando auxílio para a concessão do visto de entrada na Alemanha.Ass. JCVM.
Telex, em inglês, de JCVM ao Prof. Ernest Göbel confirmando a participação deste e da esposa no Rio Laser Conference e informando sobre as passagens áreas para vinda ao Brasil. ass. JCVM
Telex, em espanhol, de Carlos Di Prisco para AIA, comunicando possibilidades de obter financiamento para viagem e solicitando outras informações. Caracas, 01 fev. 1983. 1p. dat.
Telex, em espanhol, de AIA e Roberto Cignoli ao Prof. C.A. Di Prisco, confirmando participação no Simpósio e informando da visita da Profa. Cecylia Rauszer.