Publisher
Springer International Publishing
Reference38 articles.
1. Arana, A. (2009). On formally measuring and eliminating extraneous notions in proofs. Philosophia Mathematica, 17, 208–219.
2. Arana, A. (2014). Purity in arithmetic: Some formal and informal issues. In G. Link (Ed.), Formalism and beyond. on the nature of mathematical discourse (pp. 315–335). De Gryuter.
3. Arana, A. (2022). Idéaux de preuve : explication et pureté. In A. Arana, & M. Panza (Eds.), Précis de philosophie de la logique et des mathématiques (Vol. 2, Chap. 9). Éditions de la Sorbonne.
4. Arana, A., & Mancosu, P. (2012). On the relationship between plane and solid geometry. Review of Symbolic Logic, 5(2), 294–353.
5. Aristotle. (1941). The basic works of aristotle. Random House.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献