Logical foundations of proof complexity / - Cook, Stephen (Cambridge University Press, 2010)