When engineers, computer scientists, and economists need to learn how to read, think about, and create proofs, they turn to Solow. In order to make the material more relevant, the exercises in each chapter have been revised and expanded. New and more complete discussions are included on how to use a previously-proved proposition in both the forward and backward processes. The fifth edition also presents new, self-contained chapters on uniqueness, induction, either/or, and max/min methods. Several final examples of how to read and do proofs are included in the final chapter to reinforce the reader’s knowledge of the various proof techniques.