"Bounded arithmetic, propositional logic and complexity theory" - читать интересную книгу автора (Jan Krajicek)