Logic, Language, And Computation by