Pressestimmen

'This interesting book provides a brisk account of current research in bounded arithmetic and the complexity of propositional logic.' Mathematika 'It can be strongly recommended especially to mathematicians and computer scientists working in the field and to graduate students.' European Mathematical Society Newsletter