An Introduction to Mathematical Reasoning : Numbers, Sets and Functions by Peter