Computation Theory and Logic