使用算法语言编程序 : FORTRAN语言浅谈
《使用算法语言编程序 : FORTRAN语言浅谈》,作者:不详 出版社:科学出版社 ISBN:15031629。本书通过解释FORTRAN语言，介绍了使用算法语言的基本概念、语法规则及其应用的一般知识．为便于读者自学，书中通过实例对各种基本概念、语法规则和使用方法进行了阐述，并在每章结束前，都对其内容进行归纳小结． 本书共分九章，并附有FORTRAN语句一览表、思考题和部分
语言
C/C++语言程序设计
《C/C++语言程序设计》,作者:李振立，程玉主编 出版社:科学出版社 ISBN:9787030263537。本书共10章，内容包括：C与C++概述、C/C++程序设计语言、程序的基本结构、函数与函数的重载、结构体与共用体、C++程序的面向对象特性等。
分次模态语言的模型论
《分次模态语言的模型论》,作者:马明辉著 出版社:科学出版社 ISBN:9787030343925。本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。
