A First Course in Logic