Logic, Language and Computation door