Bounded arithmetic, propositional logic, and complexity theory - Krajihcek, Jan (Encyclopedia of mathematics and its applications, 1995)