Domain Theory, Logic and Computation