Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)

By Jean H. Gallier

Book Overview

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0060422254
• ISBN13: 9780060422257
• Release Date: January 1986
• Publisher: Longman Higher Education
• Length: 511 Pages
• Weight: 1.60 lbs.

Customer 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 suchas 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