数理逻辑:证明及其限度
Saved in:
Main Authors: | ; ; |
---|---|
Published: |
复旦大学出版社
|
Publisher Address: | 上海 |
Publication Dates: | 2014 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 13,249页: ; 24cm |
ISBN: | 978-7-309-11025-8 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/4333 |
Contents: |
逻辑与形而上学教科书系列 本书从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。 |