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 Diderik Batens para AIA, sugerindo alterações ao artigo elaborado em conjunto. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.

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.

Carta, em inglês, de Diderik Batens para AIA, comunicando a publicação de trabalho e enviando separatas. S.l., 22 dez. 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, em inglês, de Diderik Batens para AIA, informando sobre os trabalhos a serem publicados e desejando sua recuperação. S.l., 25 out. 1982. Ass.: Diderik. 1p. dat.

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 AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.

Carta, em inglês, de Diderik Batens para AIA, informando sobre trabalho a ser desenvolvido em conjunto. Gent, 21 jan. 1982. Ass.: Diderik. 1p. dat.

Carta, em inglês, de Diderik Batens para AIA, comunicando revisões nos artigos. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.