Title: Domain Theory, Logic and Computation