*Mathematical Logic for
Computer Science*

Book Cover Image

**Springer, 2012, ISBN 978-1-4471-4128-0.**

This book teaches mathematical logic using tableaux techniques pioneered by Beth and Smullyan, which are simpler than the usual algebraic techniques, but quite sufficient to give CS students the theoretical tools they need. The book also discusses application of logic to CS. For the third edition, the book has been totally rewritten and additional material has been included on SAT solving and model checking.

See also LearnSAT, software that facilitates learning about the important algorithms for SAT solving as discussed in Chapter 6 of the textbook.

- On the book's website there is also a link where instructors can obtain the solution manual.
- Errata (last update 13 August 2015).
- Slides of the figures and tables in PDF and LaTeX.
- Prolog implementation of the algorithms and their documentation.