作者：莫绍揆
类别：文化电子书
关键词：数理逻辑初步
整理日期：2017-03-11 10:55:40
下载地址： 本地下载 网友上传
作品导读
目录： 第一章 数理逻辑的由来 §1 传统逻辑的不足 §2 数理逻辑的兴起 §3 非欧几何带来的问题 §4 微积分基础的争论 §5 集合论悖论 第二章 数理逻辑的主要内容 §1 公理集合论与证明论 §2 能行性理论与模型论 §3 命题演算 ..
数理逻辑初步的作者是莫绍揆。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。