数理逻辑初步（莫绍揆）（上海人民出版社 1980）

  • 书名：数理逻辑初步
  • 出版社：上海人民出版社
  • 作者：莫绍揆
  • 出版年份：1980
  • 电子书格式： pdf
  • 简介：《数理逻辑初步》是莫绍揆编著的一本经典教材，由上海人民出版社于1980年出版。此书系统地介绍了数理逻辑的基础知识，涵盖命题逻辑、谓词逻辑、证明理论和模型理论等内容，适合作为高等院校逻辑学课程的教材或自学者入门读物。书中不仅有理论讲解，还配有大量习题，帮助读者深入理解和应用数理逻辑。多考网提供免费下载，让更多人能够学习和研究数理逻辑。
  • ISBN：
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。