1. Arana, A., “Logical and semantic purity,” ProtoSociology, vol. 25 (2008), pp. 36–48.
2. Arana, A., “On formally measuring and eliminating extraneous notions of proofs,” Philosophia Mathematica (3), vol. 17 (2009), pp. 189–207.
3. Aristotle, Posterior Analytics, 2nd edition, translated by J. Barnes, Oxford University Press, Oxford, 1994.
4. Bolzano, B., “Preface to ‘Consideration on some objects of elementary geometry,”’ pp. 172–74 in From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Vol. 1, edited by W. B. Ewald, Oxford University Press, New York, 1996.
5. Detlefsen, M., “Purity as an ideal of proof,” pp. 179–97 in The Philosophy of Mathematical Practice, edited by P. Mancosu, Oxford University Press, Oxford, 2008.