ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)
Minuta de acordo realizado entre o IMECC e o CLE-Unicamp, estabelecendo a colaboração entre as duas unidades para a realização de eventos e publicações
Minuta da Comissão nomeada pela Congregação para elaborar um projeto de atribuições de futura Comissão Científica, sugerindo a formação de duas comissões com atribuições distintas.