Bounded arithmetic, propositional logic and complexity theory /
Krajíc̆ek, Jan.
Cambridge :  Cambridge University Press,
1995.