书籍简介:

本书是湖北大学哲学学院本科生数理逻辑课程（48学时）的教材。全书主要讨论了命题演算和谓词演算的两个公理系统，在概要介绍集合论、模型论和证明论等相关基本概念的基础上，完整地给出了两个公理系统的可靠性和完全性证明。考虑到教学时数的限制和哲学专业本科生对数理逻辑兴趣的差异，本书力求简洁易懂、重点突出，在保证清晰严谨的同时也希望能够具有一定的趣味性。全书内容基本可在48学时内讲授完毕，也可根据具体情况作适当增删。

书籍规格:

书籍详细信息
书名	数理逻辑入门站内查询相似图书
	9787549253913 如需购买下载《数理逻辑入门》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	武汉	出版单位	长江出版社
版次	1版	印次	1
定价(元)	28.0	语种	简体中文
尺寸	26 × 19	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

数理逻辑入门是长江出版社于2017.9出版的中图分类号为 O141 的主题关于数理逻辑－高等学校－教材的书籍。