Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

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

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 AIA a Richard, agradecendo sua correspondência, enviando um artigo de Vasil'év de 1912, com tradução em português, e informando sobre suas atividades científicas e administrativas. Campinas, 27 jan. 1982. Ass.: Ayda. 1p. dat.

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.

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

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.