Logic and Language Models for Computer Science