On formally measuring and eliminating extraneous notions in proofs (0)

by Andrew Arana
Venue:Philosophia Mathematica, 2008. Forthcoming