Required Text: A Concise Intro to Logic