CHINESE

数理逻辑: 证明及其限度

By 杨跃 / 郝兆宽 / 杨睿之

Book information

Publisher
复旦大学出版社
Year
2014
ISBN
7309110250, 9787309110258
Language
chinese
Format
PDF
Filesize
45 MB (47112090 bytes)
Series
逻辑与形而上学教科书系列
Pages
262\265
Time added
2019-09-25 08:08:53

Description

本书从零起点开始, 介绍了集合论基本知识, 命题逻辑, 一阶逻辑的语法和语义, 哥德尔完全性定理, 递归论基本知识, 简化版本的自然数模型, 哥德尔不完全性定理等内容.

Similar books