数理逻辑: 证明及其限度
- ISBN-10
- 7309110250
- ISBN-13
- 9787309110258
- Pages
- 262
- Language
- Chinese
- Published
- 2014
- Publisher
- 复旦大学出版社
- Authors
- 杨跃, 郝兆宽, 杨睿之
Description
本书从零起点开始, 介绍了集合论基本知识, 命题逻辑, 一阶逻辑的语法和语义, 哥德尔完全性定理, 递归论基本知识, 简化版本的自然数模型, 哥德尔不完全性定理等内容.
本书从零起点开始, 介绍了集合论基本知识, 命题逻辑, 一阶逻辑的语法和语义, 哥德尔完全性定理, 递归论基本知识, 简化版本的自然数模型, 哥德尔不完全性定理等内容.
