Propositional Calculus and Complexity Theory (1995)

by Bounded Arithmetic