View on...
Amazon
Goodreads
Bookshop.org
Open Library
WorldCat
This new edition of Daniel J. Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.