Bounded arithmetic, propositional logic, and complexity theory - Krajíček, Jan, 1960- (Encyclopedia of mathematics and its applications, 2004)