What do you think?
Rate this book
A Computational Logic
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?
397 pages, Hardcover
First published January 1, 1980
3 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.