An Introduction to Mathematical Reasoning [pdf] | Hacker News Reader