An Introduction to Mathematical Reasoning