Title: Logic, Language, Information, and Computation
Subjects: Logic, symbolic and mathematical, Language and logic, Computer science, Algorithms