Bounded Arithmetic, Propositional Logic and Complexity TheoryJan Krajicek, G. -C Rota, B. Doran₹4,098