作者：杨跃/郝兆宽/杨睿之
类别：文化电子书
关键词：数理逻辑
整理日期：2017-02-24 11:01:19
下载地址： 本地下载 网友上传
作品导读
本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。 本书尤其面向对数学基础感兴趣的的读者。相..
数理逻辑的作者是杨跃/郝兆宽/杨睿之。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。