Logic, language and computing