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

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

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning grad