The Snake and the Fox: An Introduction to Logic