Bounded Arithmetic, Propositional Logic and Complexity Theory (1995)

by J icek