书名：数理逻辑教程
出版社：华中工学院出版社
作者：莫绍揆
出版年份：1982
电子书格式： pdf
简介：《数理逻辑教程》由莫绍揆编著，是华中工学院出版社1982年出版的经典教材。本书系统地介绍了数理逻辑的基础知识，涵盖命题逻辑、谓词逻辑、公理系统等内容，适合高等院校数学、计算机科学及相关专业的学生和研究人员阅读。通过深入浅出的讲解，帮助读者掌握逻辑推理的基本方法和技巧，是学习逻辑学的重要参考书。
ISBN：