Perspectives in logic logical foundations of proof complexity - Cook, Stephen 1948- (Cambridge University Press, 2010)