Domain Theory, Logic and Computationby Guo-Qiang Zhang, J. Lawson, Ying Ming LiuWriting a summary for young readers…For young readersBook data: Open Library