Title: Logic, Language, Information and Computation