Logical Foundations Of Proof Complexity by Stephen Cook & Phuong Nguyen