每位数学家必定知道，对于不懂数学的人提出的关于他的工作的性质的询问。他的回答如何使谈话难以继续，逻辑学家在和数学家交往中，也认识到他的职业也会招致类似的对待。
这是有关于数理逻辑通俗讲话_10186463
经典教材，值得拥有，这是第一版的教材了，喜欢的就下来看看吧
本书系统地介绍了逻辑演算，模型论和证明与反驳等数理逻辑的基本内容。全书分为五章，选材时充分考虑了适应逻辑系统的特征和计算机科学的要求_第一章介绍了形式系统的定义，结构及基本概念。第二章介绍了命题逻辑形
北大师兄总结的好资源！
有助于提高逻辑的严密性，对于计算机编程也是有一定好处的
本文档为我数理逻辑的实验报告，实验报告中有ispin的安装，promela语言，线性时序逻辑，线性实现逻辑实例，希望对初学时序逻辑的同学带来一定的方便！
离散数据结构英文版的补充知识 ~ 里面有数理逻辑等东西。
作者: 王方庭出版社: 中国科学技术大学出版社出版年: 1990年9月页: 273
数理逻辑---讲的非常清楚: 形式系统,命题逻辑,谓词逻辑,归结原理, 还有递归论等内容.
用户评论