Carta de José Norberto Walter Dachs a Ubiratan D’Ambrósio, diretor do IMECC, solicitando providências para a aceitação de Cosimo Guido no doutorado em Matemática. Campinas, 31 ago. 1977. Ass.: José Roberto Walter Dachs. 1p. dat.
Ofício n. 117/76-M de Martha Maria Mischan para Herman Rohrer, agradecendo a colaboração do IMECC na elaboração do plano de estudos. Botucatu, 29 nov. 1976. Ass.: Martha Mischan. 1p. dat. cópia.
Carta, em espanhol, de Rolando Chuaqui para Carlos E. Meyer, agradecendo a correspondência deste e comentando a tese de Luiz F. Monteiro. Santiago, 13 abril. 1971. Ass.: Rolando Chuaqui. 1p. dat. cópia.
Carta de Rubem A. Alves a José Aristodemo Pinotti, reitor da Unicamp, declarando-se contra a realização de novas eleições para representante dos professores titulares. Campinas, 08 jun. 1982. Ass.: Rubem A. Alves. 2p. 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.
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.
ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.
ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.
SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Izdatel'stvo MGU, p.242-257, 1962. Resenha de: COMEY, David Dinsmore. The Journal of Symbolic Logic, s.l., v.30, n.3, p.368-70, 1965.