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

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 da Sociedade Brasileira de Lógica referente ao pagamento da anuidade de AIA. Ass.: Antonio Mário Antunes Sette

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 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

Relação dos membros da Sociedade Brasileira de Lógica com seus respectivos endereços

Relação dos membros da Sociedade Brasileira de Lógica com seus respectivos endereços

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)