Proof Complexity book

Jan Krajicek

The pdf file holds the final manuscript of my book "Proof complexity" prepared for the CUP (published in 2019).

It differs at places significantly from the earlier drafts (Dec.'17 and Feb.'18) that were available here. In particular, there is one more section in Chpt.21 (on The proof search problem) and one more chapter (on The nature of proof complexity). The eventual printed book will differ from the manuscript by a number of corrections done during the copy-editing process (also page numbers will appear in the Index at the very end).

J.K., 20.May 2018