O000417　数理逻辑概貌

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第12册数理科学和化学、生物科学》第43页（384字）

莫绍揆着。科学技术文献出版社1989年3月版。3．5万字。科普读物。扼要介绍数理逻辑的基础知识。在逻辑演算部分介绍真值联结词与量词的公理系统、自然推理系统。在集合论中介绍集合论悖论的产生和当初解决悖论的各种尝试。在递归论中除介绍各种重要的递归函数外，着重说明各种推广的重要应用。在证明中介绍了数学基础方面的各个派别以及不完全性定理。在模型论中除介绍一些重要的定理外，着重介绍了非标准模型的出现。本书收入“数学概貌丛书”，该丛书其他各册及作者分别为：《统计学概貌》，陈希孺着；《常微分方程概貌》，秦元勋着，《微积分方程概貌》，谷超豪着；《微积分大意》，徐利治着；《复变函数概貌》，龚升等着；《数论概貌》，陈景润着；《抽象代数概貌》，曹锡华着；《概率论概貌》，王寿仁着。共9册，自1989年3月至1991年5月陆续出版。