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

This book principally concerns the rapidly growing area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic conce