Opening book details…
About this Mathematics article
On Formally Measuring and Eliminating Extraneous Notions in Proofs by Arana, A. is a Mathematics article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Mathematics.
- Author
- Arana, A.
- Publisher
- Oxford University Press; Oxford University Press (OUP) (ISSN 0031-8019)
- Published
- 2008
- Field
- Mathematics (Social Sciences)