1
Bounded Arithmetic, Propositional Logic and Complexity Theory [E-Book] /