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

Handbook of Automated Reasoning.

This account of propositional logic concentrates on the algorithmic translation of important methods, especially of decision procedures for (subclasses of) prop

A practical introduction perfect for final-year undergraduate and graduate students without a solid background in linear algebra and calculus.

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formaliza