Title: Logic, Language and Computation