A Computational Logic

by Robert S. Boyer and J Strother Moore

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.

• Format: Hardcover
• Language: English
• ISBN: 0121229505
• ISBN13: 9780121229504
• Release Date: January 1979
• Publisher: Academic Press
• Length: 1 Pages
• Weight: 1.84 lbs.