Most introduction to proofs textbooks focus on the structure of rigorous mathematical language and only use mathematical topics incidentally as illustrations and exercises. In contrast, this book gives students practice in proof writing while simultaneously providing a rigorous introduction to number systems and their properties.