Description:
« Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more  Read more…

(Encyclopedia of mathematics and its applications 170) Jan Krajíček – Proof complexity-Cambridge University Press (2019)