Logic, Algorithms and Computation