A First Course in Abstract Mathematics