模型论及其在计算机科学中的应用的书评