Ebook: A Computational Logic
- Year: 1979
- Publisher: Elsevier Inc
- Edition: 1st
- Language: English
- pdf
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? - How does one invent an appropriate induction argument? - When should a definition be expanded?
Download the book A Computational Logic for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)