Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) 1st Edition

5 out of 5 stars 4 customer reviews
ISBN-13: 978-0121703509
ISBN-10: 0121703509
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $4.49
Learn More
Trade in now
Have one to sell? Sell on Amazon
Buy used On clicking this link, a new layer will be open
$59.25 On clicking this link, a new layer will be open
Buy new On clicking this link, a new layer will be open
$72.95 On clicking this link, a new layer will be open
More Buying Choices
13 New from $66.94 14 Used from $31.95
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Top 20 lists in Books
Top 20 lists in Books
View the top 20 best sellers of all time, the most reviewed books of all time and some of our editors' favorite picks. Learn more
$72.95 FREE Shipping. Only 3 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.

Frequently Bought Together

  • Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
  • +
  • Inside the Object Model: The Sensible Use of C++ (SIGS: Advances in Object Technology)
  • +
  • Programming in the 1990s: An Introduction to the Calculation of Programs (Monographs in Computer Science)
Total price: $247.58
Buy the selected items together

Editorial Reviews

From the Back Cover

Mechanical theorem proving is an important subject in artificial intelligence. It has been applied to many areas--program analysis, program synthesis, deductive question-answering systems, problem-solving systems, and robot technology.
This classic text provides a thorough discussion of mechanical theorem proving and its applications as well as an introduction to symbolic logic. A purely model-theoretic approach to first-order logic is adopted, and the book emphasizes efficient computer implementations of proof techniques.
Appropriate for both undergraduates and graduate courses in theorem proving, this text is also suitable as a supplementary textbook in artificial intelligence to provide the student with a background in mechanical theorem proving and application areas.

About the Author

Chang, Artificial Intelligence Center, Lockheed Missiles & Space Company, Inc., Menlo Park, CA.

"Richard C. Lee" has more than 35 years experience developing and managing software projects. He has worked and/or managed leading-edge development in electronic publishing, embedded systems, large IMS projects, multi-media, operating support systems; process control, transaction processing, and switching. Being one of the earlier adopters of object-oriented technology, his current interest is making more object-oriented projects successful.

"William M. Tepfenhart" is currently Program Director for the Software Engineering Department at Monmouth University. He has eighteen years of experience developing manufacturing, military, and telecommunications applications as a programmer, developer, and technologist. He has developed object-oriented systems over the past 17 years.

NO_CONTENT_IN_FEATURE



Product Details

  • Series: Computer Science and Applied Mathematics
  • Hardcover: 331 pages
  • Publisher: Academic Press; 1 edition (June 11, 1973)
  • Language: English
  • ISBN-10: 0121703509
  • ISBN-13: 978-0121703509
  • Product Dimensions: 6 x 0.8 x 9 inches
  • Shipping Weight: 1.4 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Best Sellers Rank: #405,976 in Books (See Top 100 in Books)

Important Information

Ingredients
Example Ingredients

Directions
Example Directions

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5 star
100%
4 star
0%
3 star
0%
2 star
0%
1 star
0%
See all 4 customer reviews
Share your thoughts with other customers

Top Customer Reviews

Format: Hardcover
Best introductory book on automated theorem proving available. Although it was written in the early 70's, it is written in a very clear, but mathematically precise, manner. It does not drown a reader with an abundance of symbols and definitions. It is a clear and well written exposition on automated theorem proving based on resolution. Unlike some recent text books, it does NOT use sequentzen logic systems. It covers all aspects of resolution-based theorem proving: different forms of resolution, deletion strategies, unification.
Comment 9 of 9 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover
If you are interested in Artificial Intelligence or you are one of those crazy guys who likes the Computer theory area this is a good book for you, mechanical theorem proving is an important subject into the AI area, all you want to know is Mathematical Logic, first order logic and predicate calculus. Very good book but very hard too (specially if you have to make some Mechanical theorem provers by yourself as a school project :) )
Comment 7 of 8 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover
If you're a beginner who wants to build a FOL theorem prover, this is the first book you must get. The exposition is exemplary in clarity.

Though published in 1973, the material is not outdated. Many newer books talk about essentially the same basics, only harder to read.

It also explains answer extraction (ie, how to answer "what", "where", "when", "who" questions via resolution and unification).
Comment 2 of 2 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover
This book provides a complete introduction to mechanical theorem proving, including a lesson in both predicate calculus and first order logic. It is also profoundly readable.

Each concept is presented intuitively, abstractly (rigorously), then practically. Every technique and virtually every definition is proceeded by an example in both predicate calculus and first order logic, the first to show its simplicity, and the second to show its power. Proofs of the validity and completeness of every technique are provided to satisfy any concerns about them (and to interest theorists), but are not essential for comprehension of the book. Furthermore, the algorithms are all presented in a mathematically rigorous way, yet in a way that is quickly implemented on a computer.

In short, this book contains everything you need, whether you are interested in the subject or actually want/need to build a theorem prover. Furthermore, it's made as easy as the concepts can possibly be, and very rarely do you have to re-read a section to understand. This is the perfect book on the subject.
Comment 1 of 1 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
This item: Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Price: $72.95
Ships from and sold by Amazon.com