Propositional Logic: Deduction and Algorithms

This introduction to classical logic emphasises computational aspects and issues of complexity and algorithmic analysis that have traditionally not been considered the realm of mathematical logic, but which are vital in areas such as automated reasoning, knowledge engineering, logic programming and AI.