Logical foundations of proof complexity - Cook, Stephen 1948- (Perspectives in logic, 2010)