Propositional Logic: Deduction and Algorithms

From the Publisher: This introduction to classical logic emphasises computational aspects. The authors treat 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.In order to make the book suited for teaching and for self-study, the book includes a systematic account of theoretical results, as well as an exposition of those appropriate algorithms which incorporate them.