Bounded arithmetic, propositional logic and complexity theory / Jan Krajíček. Cambridge [u.a.] : Cambridge Univ. Press, 1995