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