题名:	数理逻辑 / ( )汉密尔顿,(A. G. Hamilton) ,
ISBN:	7-302-06810-0 价格： 26.00
载体形态:	228页 23cm
出版发行:	出版地：北京出版社：清华大学出版社出版日期： 20030101
内容提要:	本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很小的篇幅完整地介绍了哥德尔不完备定理以及递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。
主题词:	数理逻辑
中图分类法:	O141 版次：