1. Arruda A. I. The Russell paradox in the systems NF n . In: Arruda A. I. da Costa and A N. C. A. Sette . M. , editors. Proceedings of the Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica; 1980. p. 1-12.
2. Russell's set versus the universal set in paraconsistent set theory;Arruda;Logique et Analyse,1982
3. Avron A. A new approach to predicative set theory. In: Schindler R. , editor. Ways of Proof Theory. Ontos: Ontos Mathematical Logic; 2010. p. 31-63.
4. Brady R. T. The non-triviality of dialectical set theory. In: Priest G. Routley R. Norman J. , editors. Paraconsistent Logic: Essays on the Inconsistent. Philosophia, München; 1989. p. 437-471.