"Logic and Machines: Decision Problems and Complexity" - читать интересную книгу автора (E. Börger, G. Hasenjaeger, D. Rödding)