书名：数理逻辑教程(纠斜+书签)
出版社：上海人民出版社
作者：陈慕泽
出版年份：2001
电子书格式： pdf
简介：《数理逻辑教程》由陈慕泽编著，是上海人民出版社2001年出版的经典教材。此书详细讲解了数理逻辑的基本概念、命题逻辑、谓词逻辑及证明理论等内容，配有纠斜和书签，阅读体验更佳。适用于数学、计算机科学、哲学等专业的学生和研究者，是深入理解逻辑学基础不可多得的参考书。
ISBN：9787208037489, 72080