Logic And Language Models For Computer Science (Third Edition)