Carta, em inglês, de Angus Macintyre a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 18 maio 1976. Ass.: Angus Macintyre. 1p. dat. cópia.
Ofício n. 172/81-IM de Annibal Parracho Sant’Anna a Plínio Alves de Moraes, Reitor da Unicamp, estranhando e lamentando o afastamento de AIA da direção do IMECC. S.l., 05 nov. 1981. Ass.: Aníbal Parracho SantAnna. 1p. dat. cópia.
Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. dat.
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio, diretor do IMECC, a Plínio Alves de Moraes, reitor da Unicamp, enviando lista tríplice da eleição para diretor do IMECC. S.l., 18 dez. 1979. Ass.: Ubiratan DAmbrósio. 1p. dat. cópia.
Carta, em inglês, de W.W. Tait a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.
Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.
Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.