An active-learning textbook for formal logic classes. Purchase the book here if you are a student at UW.