Logical Foundations of Proof Complexity. - Cook, Stephen, 1948- (Cambridge University Press, 2010)
A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.