"The Computational Complexity of Logical Theories" - читать интересную книгу автора (Sally S. Simpson, David Weisburd)