Author: Proving. A Closer Look at Mathematics (2003)