Logical Foundations Of Proof Complexity door Stephen Cook & Phuong Nguyen