Designed to help students prepare for higher-level mathematics courses through an introduction to the methods and practices of logic and proof. The book uses the development of set theory and the number systems as a framework for the introduction of the various proof techniques.