Carta, em inglês, de AIA a Diderik Batens informando o envio do primeiro rascunho de seu paper, que seu trabalho com Newton da Costa está pronto e que a crise na Unicamp ainda não foi solucionada.
Carta, em inglês, de AIA a Diderik Batens, agradecendo sua carta e dizendo estar bem confiante com o tratamento e que espera em breve retornar a fazer pesquisas. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA ao professor Richard Routley, informando que seu artigo com Batens está terminado e que assim que possível enviará uma cópia. Campinas, 13 maio 1982. S.ass. 1p. dat. cópia.
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 AIA a Diderik Batens, acusando recebimento de sua carta e da segunda versão de seu paper, dizendo ter alguns comentários sobre ele, e informando seu retorno à direção do IMECC.
Carta de Diderik Batens a NCAC agradecendo a correspondência recebida, informando do artigo aceito para a publicação em Logique et Analise e informando sobre sua esposa adoentada. S.l., 19 de ago. de 1985. 1p.