Logical foundations of proof complexity hardcover