Designed specifically for guided independent study. Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active

Forallx is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century an

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

Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.