Title: Logic, language, and computation
Subjects: Natural language processing (Computer science), Symbolic and mathematical Logic, Logic, symbolic and mathematical