Title: Logic and Language Models for Computer Science
Subjects: Formal languages, Logic, Artificial intelligence