Title: Logic, Computation and Rigorous Methods