The Great Courses, 2012. — 167 p.
This course presumes no prior knowledge and will begin with the basics of logic and some foundational mathematical ideas. Armed with this background, you will proceed into the world of proof, discussing fundamental structure and various proof techniques—including direct proof, indirect proof, and proof by induction. As this course will emphasize throughout, appreciating the art of proof is one of the most enriching experiences that one can have. The goal of this series of lectures is to appreciate the beauty and creativity of mathematical arguments. You will see theorems and proofs from a wide range of mathematical topics, including geometry, set theory, and number theory.