Synopsis
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 - When should induction be used? - How does one invent an appropriate induction argument? - When should a definition be expanded?
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for A Computational Logic
Stock Image
A Computational Logic
Published by
Elsevier Science & Technology, 1979
ISBN 10: 0121229505
ISBN 13: 9780121229504
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # GRP18320572
Stock Image
Computational Logic
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1980. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1980. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # F-934-112
Buy Used
US$ 23.14
US$ 23.82 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available