Title: Deductive logic in natural language
Subjects: Language and logic, Logic