Carta, em inglês, de AIA ao professor Solomon Feferman, aprovando proposta de número de membros para a Association for Symbolic Logic e sugerindo a inclusão de um membro. S.l., 12 abr. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de Bonita Ross para AIA, comunicando o envio de publicação e solicitando endereço da Sociedade Brasileira de Lógica. S.l., 07 fev. 1983. Ass.: Bonita Ross. 1p. dat.
Carta, em inglês, de Cecylia Rauszer para AIA, informando sobre sua viagem ao Brasil e problemas com passaporte. S.l., 16 maio 1982. Ass.: Cecylia. 1p. dat.
Carta, em inglês, de Cecylia Rauszer para AIA, comunicando a data para sua visita e solicitando detalhes sobre salários e despesas com a viagem. S.l., 16 jun. 1982. Ass.: Cecylia. 1p. ms.
Carta, em inglês, de George Glauberman a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 20 maio 1976. Ass.: George Glauberman. 1p. dat. cópia.
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes, reitor da Unicamp, encaminhando o resultado da lista sêxtupla e como se deu a eleição para a direção do IMECC. S.l., 05 mar. 1980. Ass.: Ubiratan DAmbrósio. 1p. dat. cópia.
Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.