Logic Meaning and Computation