Title: Logic as a tool
Subjects: Natural language processing (Computer science), Symbolic and mathematical Logic, Logic