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. For example, there are links to sample syllabi and a journal describing day-to-day class activities.

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 contribute to its further development.