Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.
Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.
Carta, em inglês, de Ken para AIA, comunicando ter encontrado o livro e perguntando sobre a melhor forma de entregá-lo. Annapolis, 25 abr. 1983. Ass.: Ken. 1p.
Carta de Oswaldo Chateaubriand para AIA, agradecendo a aceitação ao convite, informando sobre o pagamento de sua viagem e solicitando o título de sua palestra. Rio de Janeiro, 22 abr. 1982. Ass.: O.Chateaubriand. 1p. dat.
Carta, em inglês, de Richard Routley para AIA, comunicando sobre trabalhos científicos que serão publicados. Austrália, 23 ago. 1983. Ass.: Richard. 2p. ms.
ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.