An Introduction to Proof via Inquiry-Based Learning is a textbook for the transition to proof course for mathematics majors. Designed to promote active learning through inquiry, the book features a highly structured set of leading questions and explorations. The reader is expected to construct their own understanding by engaging with the material. The content ranges over topics traditionally included in transitions courses: logic, set theory including cardinality, the topology of the real line, a bit of number theory, and more. The exposition guides and mentors the reader through an adventure in mathematical discovery, requiring them to solve problems, conjecture, experiment, explore, create, and communicate. Ultimately, this is really a book about productive struggle and learning how to learn. This is a print version of the popular open-access online text by Dana C. Ernst.
