Domain Theory, Logic and Computation door Quo-Qiang Zhang & Guo-Qiang Ed Zhang