Vistos e parecer do juiz referente ao processo n. 126/82 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando alguns diretores de suas funções. Ass.: Álvaro Érix Ferreira.
KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965
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.
BARSOTTI, Leo; COSTA, Newton C.A. da. Um currículo para a formação do professor de matemática do ensino secundário. Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 5, nº 3, p. 45-84, out. 1962.
Trecho de reportagem contida em O Diário de Piracicaba, contendo comunicado da reitoria da Unicamp esclarecendo e justificando os atos do reitor. Cidade Universitária "Zeferino Vaz
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.
Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.
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 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.
