"Logical foundations of proof complexity" - читать интересную книгу автора (Cook S., Nguyen P.)