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.

Cartão, em inglês, de Ken para AIA, comunicando o envio e o pagamento do livro. S.l., 13 maio 1983. Ass.: Ken. 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 D’Ambró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.

Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

Resenha de AIA, sobre o texto Lógica e Metalógica, de N. A. Vasil'év. S.l., S.d. S.ass. 2p. ms.