Logic, Language and Computation