Bounded arithmetic, propositional logic, and complexity theory - Krajicek, Jan (Cambridge University Press, 1995)