“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家，我们选了大学出版社的，由A.G.Hamilton著“LogicforMathematicians”一书影印出版，希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了
![信号与系统的结构和解释 [美]李（Lee） 机械工业出版社 9787111134695【售后无忧】](http://img3m0.ddimg.cn/91/35/11866224340-1_l.jpg)
![随机过程导论 [美]EdwardP.C.Kao 著 9787111124146 机械工业出版社](http://img3m7.ddimg.cn/34/25/12314351347-1_l.jpg)
![现代密码学理论与实践 [英]WenboMao 著 电子工业出版社 9787505398160【放心购买】](http://img3m0.ddimg.cn/7/0/11863773610-1_l.jpg)
![VLSI数字信号处理系统设计与实现 [美]帕赫 著 机械工业出版社 9787111123484【放心购买】](http://img3m0.ddimg.cn/50/0/11861658320-1_l.jpg)
