Title: First Course in Logic, a