Title: Logic, Language, and Computation
Subjects: Logic, Programming languages (electronic computers), Computational linguistics