A First Course in Mathematical Logic and Set Theory