"Сложность теорий вычислимых категоричных моделей" - читать интересную книгу автора (Гончаров С. С., Хусаинов Б.)