Note: or material is highlighted
Coppin, Ben (2004), Artificial Intelligence Illuminated (Sudbury, MA: Jones and Bartlett): Ch. 7: "Propositional and Predicate Logic", and Ch. 8: "Inference and Resolution for Problem Solving" Nilsson, Nils J. (1998), Artificial Intelligence: A New Synthesis (San Francisco: Morgan Kaufmann): Ch. 13: "The Propositional Calculus", and Ch. 14: "Resolution in the Propositional Calculus"