Material Detail

Logic for Computer Science: Foundations of Automatic Theorem Proving

Logic for Computer Science: Foundations of Automatic Theorem Proving

According to the author, "This is a slighty revised version of the 1985 edition of my logic book. Many typos and errors have been corrected and the line drawings have been improved. Most mistakes were minor, except for a subtle error in Theorem 4.3.3. Indeed, the second part of the theorem about the complexity of the proof tree T obtained from a resolution refutation D is false: It is not necessarily the case that the number of leaves of T is...

Show More

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.