Handbook of practical logic and automated reasoning

by Harrison, J.

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