Título eleitoral de JCR. S.l. 17.01.1958. Ass.: ( __ ). 2p. (impr.dat.) 

Título de quitação do processo 81/522-4 aprovando contas do auxílio concedido à AIA. Ass.: Rubens Guedes Jordão

Título de quitação do processo 81/543-8. Ass.: Rubens Guedes Jordão, diretor administrativo da Fapesp.

Título de quitação do processo 78/0232. Ass.: Rubens Guedes Jordão, diretor administrativo da Fapesp.

Título de eleitor de JCR. S.l. 27.03.1933. Ass.: Joaquim da Costa Ribeiro. 1p. (impr.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.

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 Aquisição de Separatas registrado como Processo n° 80/0978-5, concedido a AIA.

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