语言
2023年全国计算机等级考试《二级C＋＋语言程序设计》题库【历年真题＋专项题库】
本书是2023年全国计算机等级考试《二级C＋＋语言程序设计》的题库，包括历年真题和专项题库等两个部分：第一部分为历年真题。根据最新考试大纲，对近年来考试真题进行了详细解析。第二部分为专项题库。每个专题根据最新大纲的要求及相关教材，精心选编了典型常考习题，并提供详解。
分次模态语言的模型论
《分次模态语言的模型论》,作者:马明辉著 出版社:科学出版社 ISBN:9787030343925。本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。
