Title: Computing and logic, mathematics and language
Subjects: Parsing (Computer grammar), Symbolic and mathematical Logic, Logic, symbolic and mathematical