Logic And Language Models For Computer Science (Fourth Edition)