A First Course in Mathematical Logic