An active-learning textbook for formal logic classes. Purchase the book here if you are an independent scholar not associated with a university course, or if your instructor uses a different textbook and you'd like an additional resource! Instructors interested in using the text should use the contact form.