Title: Logic and language
Subjects: Logic programming, Language and logic, Logic