Logic Computation and Rigorous Methods