Math 13 — An Introduction to Abstract Mathematics