Effective Logic Computation