| 
					题名:
				 | 哥德尔证明 [ 专著] ge de er zheng ming / (美)欧内斯特·内格尔(Ernest Nagel),(美)詹姆斯·R. 纽曼(James R. Newman)著 , (美)侯世达(Douglas R. Hofstadter)编 | 
| 
					ISBN:
				 | 978-7-5184-3286-8 价格: CNY42.00 | 
| 
					语种:
				 | chi | 
| 
					载体形态:
				 | 13,142页 22cm | 
| 
					出版发行:
				 | 出版地: 北京 出版社: 中国轻工业出版社 出版日期: 2021.03 | 
| 
					内容提要:
				 | 本书内容包括:导论;一致性问题;一致性的绝对证明;形式逻辑的系统化;一致性的绝对证明:成功之例;映射观念及其在数学中的使用;总结性思考等共八章。 | 
| 
					中图分类法:
				 | B7 版次: 5 | 
| 
					中图分类法:
				 | B81-05 版次: 5 | 
| 
					主要责任者:
				 | 内格尔 nei ge er 著 | 
| 
					主要责任者:
				 | 纽曼 niu man 著 | 
| 
					次要责任者:
				 | 侯世达 hou shi da 编 | 
| 
					次要责任者:
				 | 刘新文 liu xin wen 译 |