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

Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando auxílio para o pagamento das passagens aéreas Varsóvia - São Paulo – Varsóvia de Leslaw Szczerba, professor visitante no IMECC durante junho e julho de 1978. Ass.: Ayda Ignez Arruda

Carta de Arjen Sevenster para AIA oferecendo cópias de livros e informando sobre condições de pagamentos. Ass.: Arjen Sevenster

Carta de Joseph R. Schoenfield, presidente da Association for Symbolic Logic, para Zeferino Vaz, reitor da Unicamp, informando que o professor Rolando Chuaqui vem discutindo a possibilidade de organizar um colóquio em lógica matemática e que a Association for Symbolic Logic tem interesse em co-patriocinar o evento. Ass.: Joseph R. Schoenfield.

Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.

Minuta de portaria do Diretor do IMECC, Ubiratan D?Ambrósio, constituindo comissão de graduação do IMECC e dando conta de suas atribuições

Diário Oficial do Estado de São Paulo, descrevendo os atos do reitor da Unicamp, designando AIA como diretora do IMECC.

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Documento de identidade de AIA. Ass.: Ayda Ignez Arruda.

Documento de identidade de AIA. Ass.: Ayda Ignez Arruda.