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.
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 a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando auxílio para participar de congressos na Áustria e em Caracas. Ass.: Ayda Ignez Arruda.
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, retificando pedido de auxílio n° 83/038.8-1 para participar somente do congresso em Caracas. Ass.: Ayda Ignez Arruda
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o cancelamento do auxílio n° 83/038.8-1 para participar do congresso em Caracas.
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
Recibo de Luiz Paulo de Alcântara declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Luiz Paulo de Alcântara
Recibo de Elias Humberto Alves declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Elias Humberto Alves
Recibo de Rolando Chuaqui declarando ter recebido de AIA seis mil cruzeiros referentes ao auxilio viagem para estadia na Unicamp durante o mês de mar. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Rolando Chuaqui
Carta de Paul Weingartner, presidente do comitê organizador local, para AIA solicitando o envio do artigo a ser apresentado no congresso e comunicando a impossibilidade de auxílio financeiro para a viagem. Ass.: Paul Weingartner
Carta de AIA para Ruth Barcan Marcus dizendo que pretende aceitar o convite para participar do Congresso, em Salzburgo, que está preparando um artigo sobre História da Lógica para o evento e solicitando o envio de um convite oficial para obter auxílio financeiro
Carta de AIA para Paul Weingartner comunicando o envio da inscrição para o Congresso, sua reserva de hotel e pedindo informações sobre o pagamento de suas despesas.
Ofício C.V.47/00117 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Licenciatura na Unicamp em 1982. Ass.: Setembrino Petri.
Ofício GR. 870/83 de José Aristodemo Pinotti para AIA solicitando que reconsidere o seu pedido de demissão do cargo de Suplente da Comissão de Orçamento e Patrimônio. Ass.: José Aristodemo Pinotti.
