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.
Aviso de férias, comunicando o período a ser desfrutado por AIA. Campinas, 02 dez. 1982. Ass.: Ayda I. Arruda; Marly de Lara Romeo, diretoria de pessoal;
Carta de Roberto L. O. Cignoli, coordenador do IMECC, convidando AIA para a banca examinadora de defesa de tese de doutorado de Walter Alexandre Carnielli. Ass.: ( ___ ).
Ofício Sub/CPG/DF 13/83 de Carlos Ribeiro Moura comunicando que os professores indicados por AIA para a banca julgadora do mestrado de Regina Aparecida Munhoz Fonte não poderão participar. Ass.: Carlos R. Moura
Carta de Carlos A. Ribeiro de Moura, coordenador da Sub-CPG/DF - IFCH, comunicando a concessão de um novo prazo para a aluna Regina Munhoz da Fonte para a defesa de sua tese de mestrado. Ass.: Carlos R. Moura.
Carta da Presidência do Conselho Técnico Administrativo da Fapesp solicitando à professora AIA o envio do relatório científico referente ao processo 82/1543-8. Ass.: Anita Bueno.
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, encaminhando o relatório científico relativo ao processo 82/1543-8 e pedindo desculpas por não ter enviado anteriormente
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando auxílio para contratação de Jerzy Kotas, da Universidade de Torún, como professor visitante. Ass.: Ayda Ignez Arruda.
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, informando que o professor Roberto Cignoli será o substituto para a realização do projeto de contratação do professor Jerzy Kotas como professor visitante. Ass.: Ayda Ignez Arruda
Recibo de Jerzy Kotas declarando ter recebido sessenta mil cruzeiros do professor Roberto L. O. Cignoli referente a um mês e meio de manutenção como Professor Visitante no Departamento de Matemática de Unicamp. A.: Jerzy Kotas
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
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando bolsa de mestrado para Regina Aparecida Munhoz Moreno. Ass.: Ayda Ignez Arruda
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório referente à bolsa de mestrado concedida a Regina Aparecida Munhoz Moreno.
Carta de William Saad Hossne, diretor científico da Fapesp, a Regina A. Munhoz Moreno declarando o recebimento do relatório referente à bolsa de mestrado e que o mesmo fora aprovado. Ass.: William Saad Hossne
Carta de William Saad Hossne, diretor científico da Fapesp, a AIA comunicando que foi aceito o pedido de renovação da bolsa de mestrado do processo 77/1175 por mais um ano. Ass.: William Saad Hossne
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório de atividades da bolsa de mestrado de Regina Aparecida Munhoz Moreno. Ass.: Ayda Ignez Arruda.
Carta de AIA para Manoel Marco Maciel Formiga, superintendente de desenvolvimento científico do CNPq, devolvendo o comunicado de concessão de auxílio e reiterando o cancelamento.
Carta de Ruth Barcan Marcus, presidente do comitê organizador, para os integrantes da União Internacional de História e Filosofia da Ciência informando sobre o congresso a ser realizado em Salzburgo.
Carta de Paul Weingartner, presidente do comitê organizador local, para AIA informando sobre os trabalhos a serem apresentados no Congresso de Salzburgo. Ass.: Paul Weingartner
Carta de Paul Weingartner, presidente do comitê organizador local, confirmando a inscrição de AIA no VII International Congress os Logic, Methodology and Philosophy of Science. Ass.: Paul Weingartner
Carta de Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, para Zeferino Vaz, reitor da Unicamp, informando que o comitê latino-americano da Association for Symbolic Logic se sentiria muito honrado pela hospitalidade da Unicamp para a realização do 3° Simpósio Latino-americano de Lógica em Julho de 1976. Ass.: Rolando Chuaqui
Circular da Association for Symbolic Logic contendo a lista de eventos a serem realizados, incluindo o III Simpósio Latino-Americano de Lógica Matemática.