First Course in Mathematical Logic