Bounded arithmetic, propositional logic and complexity theory - Krajicek, Jan (Encyclopedia of mathematics and its applications ;, 1996)