当前位置:首页 > 数理化
数理逻辑概貌
数理逻辑概貌

数理逻辑概貌PDF电子书下载

数理化

  • 电子书积分:7 积分如何计算积分?
  • 作 者:莫绍揆著
  • 出 版 社:北京:科学技术文献出版社
  • 出版年份:1989
  • ISBN:7502306617
  • 页数:55 页
图书介绍:数理逻辑是采用数学方法来研究推理的一门科学
上一篇:比例计算下一篇:现代应用数学基础
《数理逻辑概貌》目录

一、逻辑演算 2

二、集合论 25

三、递归论 38

四、证明论 47

五、模型论 51

返回顶部