Abstract
This book is a publication of Cambridge University Press as an item from the series \Encyclopedia of Mathematics and its Applications", and it is really an encyclopedia of propositional proof complexity. Propositional proof complexity (or, simply, proof complexity) is one of the research areas tightly connecting mathematical logic and computational complexity theory.