1. Arruda, A. I. (1977). On the imaginary logic of N. A. Vasilev. In A. I. Arruda, N. C. A. da Costa, & R. Chuaqui (Eds.), Non-classical logics, model theory and computability (Studies in Logic and the Foundations of Mathematics, Vol. 89, pp. 3–22). Amsterdam: North-Holland.
2. Arruda, A. I. (1980). A survey of paraconsistent logic. In A. I. Arruda, N. C. A. da Costa, & R. Chuaqui (Eds.), Latin American symposium on mathematical logic, IV – 1978, Santiago (Mathematical logic in Latin America: Proceedings, pp. 1–41). Amsterdam: North-Holland. (Synthese Historical Library, 9).
3. Arruda, A. I. (1984). N. A. Vasilev: a forerunner of paraconsistent logic. Philosophia Naturalis, 21, 427–491.
4. Arruda, A. I. (1989). Aspects of the historical development of paraconsistent logic. In G.Priest, R. Routley, & J. Norman (Eds.), Paraconsistent logic: essays on the inconsistent (pp. 99–130). München: Philosophia Verlag.
5. Arruda, A. I. (1990). N. A. Vasilev e a lógica paraconsistente. [N.A. Vasiliev and Paraconsistent logic, in Portuguese]. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas. (Coleção CLE, 7).