An Inquiry-Based Introduction to Proofs

An Inquiry-Based Introduction to Proofs: Introduction to Proofs is a Free undergraduate text. It is inquiry-based, sometimes called the Moore method or the discovery method. It consists of a sequence of exercises, statements for students to prove, along with a few definitions and remarks.