Unlike most texts on logic and mathematics, this book is about how to prove theorems rather than proof of specific results. We give our answers to such questions as: - When should induction be used? -... This description may be from another edition of this product.