Skip to main content
eScholarship
Open Access Publications from the University of California

A Hint of Abstraction in Mathematical Proof