Mark Verus Lawson A First Course in Logic