An active-learning textbook for formal logic classes. Purchase the book here if you are a student at Mount St. Mary's with Prof. Reynolds.