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