2010. Paraconsistent Foundations of Mathematics, 2010–2013. The Reasoner. 4, 3 (Mar. 2010).