Logic, Language Information And Computation door