Resumo, em inglês, do trabalho de AIA a ser apresentado no VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência em Salzburg, intitulado "N.A. Vasilév: a Forerunner of Paraconsistent Logic". [IMECC, 1983]. S.ass. 5p. dat. cópia

Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro “The Logical Views of N. A. Vasil’ev”. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.

Carta, em inglês, de AIA ao Prof. E.G.K. Lopez-Escobar, informando sobre o andamento dos seus artigos sobre Vasil'év e pedindo cópia de alguns textos. Campinas, 08 abr. 1983. S.ass. 1p. dat. cópia.

Carta, em inglês, de AIA a Paolo Bottura, agradecendo o envio de sua tese e informando a finalização da perimeira série de 3 artigos sobre Vasil'év. Campinas, 04 abr. 1983. Ass.: Ayda I. Arruda. 1p. dat.

Carta, em inglês, de AIA a Hristo Smolenov, comentando sobre o sumário e informando sobre seus trabalhos sobre Vasil'év. Campinas, 14 mar. 1983. S.ass. 1p dat. cópia.

Carta de AIA a E.G.K. Lopez-Escobar, informando sobre o andamento dos seus trabalhos sobre Vasil'év, sobre a visita da Profa. Cecylia Rauszer e sobre a leitura do livro que ele lhe enviou. Campinas, 11 mar. 1983. S.ass. 1p. dat. cópia.

Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.

Carta, em inglês, de AIA a Paolo Bottura, informando que está tentando tirar cópias dos textos de Vasil'év e que gostaria de obter cópias da tradução para o inglês. Campinas, 31 maio 1982. S.ass. 1p. dat.

Carta, em inglês, de AIA a Sava Petrov, mencionando a crise na Universidade, comunicando que está escrevendo outro artigo sobre a lógica de Vasil'év e o envio de dois artigos sobre esse assunto. S.l., 30 mar. 1982. S.ass. 1p. dat. cópia.