Title: Logic Computation and Discovery