An active-learning textbook for formal logic classes. Purchase the book here if you are a student at St. John's University.