Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.
Martha, Yvonne, Jeanne, Carlos, filho Walter Pires, Jacqueline de Leers Costa Ribeiro, Joaquim da Costa Ribeiro, Almirante Álvaro Alberto Mota e Silva e outros
JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.
Recibo do CNPq emitido por Oswaldo Chateaubriand a AIA referente ao pagamento de ajuda de custa pela participação no Ciclo de Palestras de Professores e Pesquisadores, realizado na Pontifícia Universidade Católica-RJ. Ass.: Ayda Ignez Arruda
Recibo de Rolando Chuaqui declarando ter recebido de AIA seis mil cruzeiros referentes ao auxilio viagem para estadia na Unicamp durante o mês de mar. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Rolando Chuaqui
Recibo de Luiz Paulo de Alcântara 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.: Luiz Paulo de Alcântara
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 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
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
