Offers a new approach to laying a foundation for abstract mathematics. Prior experience with proofs is not assumed, and the book takes time to build proof-writing skills in ways that will serve students through a lifetime of learning and creating mathematics.