Math 13: Introduction to Abstract Mathematics