There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scientists. Although there

Propositional logic - Semantic tableaux and resolution - Other propositional proof procedures - First-order logic - First-order proof procedures - Implementing

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

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic constru

methods, description logics and related logics, sati?ability modulo theory, decidable logics, reasoning about programs, and higher-order logics.