Diário Oficial do Estado de São Paulo, contendo despachos do reitor da Unicamp, indeferindo as solicitações de fruição da licença-prêmio de alguns funcionários
Carta, em inglês, de AIA a Diderik Batens, comunicando a finalização do paper (enviado em outro envelope), informando que recebeu proposta da Reidel para publicar seu livro e que planeja ir a Salzburgo
Carta, em inglês, de Caba para AIA, comunicando seu conhecimento das dificuldades nas funções administrativas e informando a respeito de trabalhos científicos. S.l., 05 mar. 1982. Ass.: Caba. 1p. dat.
Carta, em espanhol, de Carlos Di Prisco para AIA, comunicando tentativas de obter financiamento para viagem e solicitando envio de curriculum vitae. Caracas, 29 set. 1982. Ass.: Carlos Di Prisco. 1p. ms.
Telex, em espanhol, de Carlos Di Prisco para AIA, comunicando possibilidades de obter financiamento para viagem e solicitando outras informações. Caracas, 01 fev. 1983. 1p. dat.
Carta, em espanhol, de Carlos Di Prisco para AIA, comunicando contato para obtenção de financiamento. Caracas, 18 mar. 1983. Ass.: Carlos Di Prisco. 1p. ms.
Carta, em inglês, de Diderik Batens para AIA, informando problemas com publicação feita em conjunto e solicitando correções em artigo. Gent, 17 jul. 1982. Ass.: Diderik. 4p. dat.
Carta, em inglês, de Diderik Batens para AIA, lamentando seus problemas de saúde e comentando sobre o trabalho escrito por ambos. Gent, 05 ago. 1982. Ass.: Diderik. 1p. dat.
Carta, em inglês, de Francisco Xavier Caicedo para AIA, comunicando dia de viagem, solicitando reservas e dando explicações quanto ao seu nome oficial. Bogotá, 31 mar. 1982. Ass.: Xavier Caicedo. 1p. dat.
Carta, em inglês, de Graham Priest para AIA, desejando rápida recuperação de saúde e informando sobre publicação de artigos. London, 20 dez. [1982]. Ass.: Graham Priest. 1p. ms.
Carta, em inglês, de Jaime Bohorquez para AIA, informando seu novo endereço, a obtenção do grau de doutor e reafirmando seu interesse em trabalhar em Campinas. Bogotá, 12 set. 1982. Ass.: Jaime Bohorquez. 1p. dat.
Carta, em inglês, de John T. Baldwin para AIA, recomendando Bruce Rose para uma possível contratação. [Chicago], 28 maio 1976. Ass.: John T. Baldwin. 1p. dat. cópia.
Aerograma, em inglês, de Ken para AIA, comunicando o atraso no recebimento de correspondências, e informando sobre novas pesquisas. Annapolis, 13 fev. 1982. Ass.: Ken. 1p. ms.
Cartão de Natal, em português e inglês, de Sanka para AIA, agradecendo auxílio recebido para o desenvolvimento de sua pesquisa e desejando boas festas. S.l., S.d. Ass.: Sanka. 1p. ms.
ARRUDA, Ayda I. Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics. Mathematical Logic: Proceedings of the First Brazilian Conference, Nova Iorque, p. 9-29, 1977.
