Logic and Language Models for Computer Science by Henry Hamburger & Dana Richards