Dana Ernst’s An Introduction to Proof via Inquiry-Based Learning, which was recently added to our list of approved textbooks, is designed to support a one-semester introduction to proofs course incorporating inquiry-based learning (IBL). Following the IBL paradigm, a typical section begins by introducing a new topic and then presents a number of examples and problems meant to engage students in discovery-based learning and to develop their capacity for thinking mathematically.

In addition to the text, the author provides guidance for sequencing topics within a one-semester course and offers an instructor’s manual that provides additional support for instructors, particularly those who may be new to IBL. The PreTeXt source is also available for those who may wish to contribute to its further development.

This textbook is available in HTML and PDF versions, and a low-cost print version is published by the AMS/MAA Press. The PreTeXt source is also available for those who may wish to modify the text for their own courses.