Handbook of Practical Logic and Automated Reasoning

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.