Paraconsistent Foundations of Mathematics, 2010–2013. tr 2010, 4 (3).