Logic And Language Models For Computer Science Pdf