书名：数理逻辑
出版社：中国人民大学出版社
作者：余俊伟, 赵晓玉, 裘江杰, 张立英
出版年份：2020
电子书格式： pdf
简介：《数理逻辑》由余俊伟、赵晓玉、裘江杰、张立英编著，2020年由中国人民大学出版社出版。本书深入浅出地介绍了数理逻辑的基本理论和方法，涵盖命题逻辑、谓词逻辑、公理系统、哥德尔不完备性定理等内容。适用于高等院校数学、计算机科学、哲学等专业学生和研究者。多考网提供此书免费下载，助力学术研究和学习。
ISBN：9787300284392, 73002