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