Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

alexflint comments on The Best Textbooks on Every Subject - Less Wrong

167 Post author: lukeprog 16 January 2011 08:30AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (327)

Sort By: Controversial

You are viewing a single comment's thread.

Comment author: alexflint 27 March 2011 10:42:58PM 2 points [-]

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.