By introducing logic and by emphasizing the structure and nature of the arguments used, this book helps readers transition from computationally oriented mathematics to abstract mathematics with its emphasis on proofs. Uses clear expositions and examples, helpful practice problems, numerous drawings, and selected hints/answers. Offers a new boxed review of key terms after each section. Rewrites …