Atestado, em inglês, de John M. Worlock para a Reitoria da Unicamp relatando o período que JCVM esteve na Bell Laboratories. [Room 3X-283, Bell Laboratories, Holmdel, New Jersey] Ass. John M. Worlock
Ato do reitor, exonerando oito diretores de institutos de seus cargos, dentre eles, AIA, diretora do IMECC. Ass.: Plínio Alves de Moraes, reitor da Unicamp.
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;
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]
Bilhete manuscrito, em inglês, de John M. Worlock a JCVM comunicando aceitação de um artigo para publicação e convidando-o para uma viagem aos Estados Unidos. [Holmdel], 22 de dezembro de [1976]. ass. John. 1p. (anexo envelope)