数学文化史 ... Advances on models, characterizations and applications.(模型、特征化与应用之研究进展) A course in model theory(模型理论课程：当代数学逻辑概论（译自法文）) Intensionality.(内涵（逻辑讲义）) ...
By making use of constructivismtheoryand combining thepracticalexperienceofguiding teaching, weshouldexplore thedesignmodeloflearningcoursein athorough-going way.