Recommendation: Harrison, Handbook of Practical Logic and Automated Reasoning
Reason: Afraid I’m going to break the rules here, I haven’t read any other books on the subject but as there’s nothing posted here on ATPs I thought this might be useful to someone. The book is an excellent introductory text for someone who has a CS background but not in logic, and who wants to learn about theorem provers for from a practical perspective.
Subject: Automated Theorem Proving
Recommendation: Harrison, Handbook of Practical Logic and Automated Reasoning
Reason: Afraid I’m going to break the rules here, I haven’t read any other books on the subject but as there’s nothing posted here on ATPs I thought this might be useful to someone. The book is an excellent introductory text for someone who has a CS background but not in logic, and who wants to learn about theorem provers for from a practical perspective.