LARA

Textbook: The Calculus of Computation

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

Web site at Springer