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)
ARRUDA, Ayda Ignez. Remarks on da Costa Paraconsistent set theories. Campinas: Unicamp, fev. 1982. 25p. (Relatório Interno, n° 197, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)
Recibo de Jerzy Kotas declarando ter recebido sessenta mil cruzeiros do professor Roberto L. O. Cignoli referente a um mês e meio de manutenção como Professor Visitante no Departamento de Matemática de Unicamp. A.: Jerzy Kotas
Recibo de Elias Humberto Alves declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Elias Humberto Alves
Recibo de Jerzy Kotas declarando ter recebido sessenta e seis mil novecentos e vinte e oito cruzeiros do professor Roberto L. O. Cignoli referente ao reembolso do valor da passagem aérea de Varsóvia – São Paulo – Varsóvia. Ass.: Jerzy Kotas
