哥德尔证明 pdf 中文

【文件属性】：

文件名称：哥德尔证明 pdf 中文

文件大小：1.16MB

文件格式：PDF

更新时间：2020-11-30 11:21:25

数理逻辑 证明

《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。内容简介《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。