"Logical Foundations of Proof Complexity (Perspectives in Logic) " - читать интересную книгу автора (Stephen Cook, Phuong Nguyen)