Mathematical Logic for Computer Science (Third edition)

Mathematical Logic for Computer Science (Third edition)

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.