书名：数理逻辑入门

作者：李锡胤◎编

ISBN：978-7-81129-604-4

定价：18.00元

内容简介
　　本书主要包括命题逻辑、谓词逻辑和附录三大部分内容。采用了非公理化方法把基本概念交代清楚，之后讨论公理系统的方式，以便于读者阅读理解。