《数理逻辑》

书名：《数理逻辑》

CIP：2019024310

作者：孙希文编著

出版地：北京

出版时间：2019.7

出版价格：33.8元

本书包含一阶数理逻辑的基本核心内容， 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、模型论、递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。也可供相关科技工作者参考。