"Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)" - читать интересную книгу автора (Jan Krajicek)