Textbook covering propositional and first-order logic, selected decision procedures, and deductive approach to verification.

Web site at Springer