Logic Information And Computation