 |
GetTextbooks.com
Compare Prices & Save up to 90% |
|
|
|
| Login | Sign up | My Wish List |
 | | Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series) by Jean H. Gallier ISBN-10: 9780471603283 ISBN-10: 0-471-60328-7 ISBN-13: 9780471603283 ISBN-13: 978-0-471-60328-3 Hardcover 1986-01 John Wiley & Sons Inc Find Lowest Price |
Reviews | ||
Very well written One of the better books written on automated theorem proving. The author gives a very clear and lucid treatment of areas such as propositional and first-order logic, resolution, proof theory (including Gentzen's cut-elimination theorem), logic programming, and typed logic. This book represents an ideal place to begin for anyone who is interested in developing a deep understanding of the foundations of automated reasoning. Careful detail is given towards Gentzen's tableaux methods for obtaining structural proofs, and the other takes great pains to provide rigorous proofs of the results. | ||
i luv it! this book is excellent and reading it one can clearly see galliers geometric insight influenced by the great french mathematicians cartan and serre! -kurt reillag | ||