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 da Fapesp ao Banco Banespa concedendo autorização ao professor Roberto Leonardo Oscar Cignoli para movimentar a conta referente ao processo 78/1274, sem prejuízo da autorização previamente concedida a AIA. Ass.: Rubens Guedes Jordão, diretor administrativo da Fapesp; Kikue Arakaki, secretária.

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 a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, agradecendo e cancelando a concessão de auxílio para a vinda da professora Cecylia Rauszer. Cidade Universitária Zeferino Vaz

Carta, em inglês, de Diderik Batens para AIA, sugerindo alterações ao artigo elaborado em conjunto. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.

Carta de AIA ao professor Newton C.A. da Costa sugerindo algumas discussões sobre a Association for Symbolic Logic e sobre o problema de patrocínio para as reuniões regionais. Campinas, 16 jun. 1982. S.ass. 1p. dat. cópia.

Carta, em inglês, de Anil Nerode para AIA, apresentando o professor Jaime Bohorquez. S.l., 25 abr. 1982. Ass.: Anil Nerode. 2p. dat. cópia.

Carta, em inglês, de AIA a Mrs. Bonita Ross, agradecendo o review do "Proceedings of the third Brazilian Conference on Mathematical Logic" e informando o novo endereço da SBL nos próximos dois anos.

Carta, em inglês, de Bernd Wegner para AIA, agradecendo pela ajuda e pelo envio de pareceres de artigos. Berlim, 26 abr. 1982. Ass.: [Bernd Wegner]. 1p. dat.

Carta, em inglês, de AIA a E.G.K. Lopez-Escobar, agradecendo o recebimento dos livros, informando a respeito de atividades científicas e sobre o curso que Cecylia Rauszer está ministrando na Unicamp. Campinas, 04 maio 1983. S.ass. 2p.dat cópia.