资源简介
数理逻辑，经典本科教材，英文第六版，略讲二阶逻辑。
代码片段和文件信息
相关资源
- 数理逻辑与集合论第二版精要与题解
- 数理逻辑 汪芳庭 XPS文档可用IE直接打
- 数理逻辑与范畴论应用王世强
- 可计算性与数理逻辑第四版中文版
- 王浩.数理逻辑通俗讲话
- 北京大学数理逻辑_王捍贫
- Logic for mathematicians86794
- logic for mathematicians
- 数学家的逻辑
- 汪芳庭 数理逻辑
- 数理逻辑，王兵山，国防科技大学
- 面向计算机科学的数理逻辑:系统建模
- Model Theory
- 哥德尔证明 pdf 中文
- 数理逻辑与集合论第二版·
- 面向计算机科学的数理逻辑第二版-陆
- 哈工大数理逻辑2018.zip
- 数理逻辑教材
- 面向计算机科学的数理逻辑即系统与
- 面向计算机科学的数理逻辑 系统建模
- 数理逻辑课件
- 高级数理逻辑
- 现代数理逻辑学
- 面向计算机科学的数理逻辑系统建模
- 《离散数学》课程课件
- Logic in Computer Science英文原版课后习题
- 哈工大数理逻辑历年考试题
- 数理逻辑习题答案第二版
- 面向计算机科学的数理逻辑 系统建模
- 哈工大数理逻辑课后答案
川公网安备 51152502000135号
评论
共有 条评论