Title: Deductive logic and descriptive language
Subjects: Logic