Bounded Arithmetic, Propositional Logic and Complexity Theory (1996)

by Jan Krajcek