"Logic and Language Models for Computer Science" - читать интересную книгу автора (Henry Hamburger, Dana Richards)