000    nam0
001 __ 0120192908797
010 __ ■a978-7-5184-3286-8■dCNY42.00
100 __ ■a20210303d2021    em y0chiy0110    ea
101 1_ ■achi■ceng
102 __ ■aCN■b110000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a哥德尔证明■9ge de er zheng ming■b专著■dGodel's proof■f(美)欧内斯特·内格尔(Ernest Nagel)，(美)詹姆斯·R. 纽曼(James R. Newman)著■g(美)侯世达(Douglas R. Hofstadter)编■g刘新文译■zeng
210 __ ■a北京■c中国轻工业出版社■d2021
215 __ ■a13,142页■d22cm
300 __ ■a万千教育
330 __ ■a本书内容包括：导论；一致性问题；一致性的绝对证明；形式逻辑的系统化；一致性的绝对证明：成功之例；映射观念及其在数学中的使用；总结性思考等共八章。
333 __ ■a逻辑哲学研究人员
510 1_ ■aGodel's proof■zeng
600 _0 ■a哥德尔■c(Godel, Kurt■f1906-1978)■x逻辑哲学■x研究
690 __ ■aB712.59■v5
690 __ ■aB81-05■v5
701 _0 ■c(美)■a内格尔■9nei ge er■c(Nagel, Ernest■f1901-1985)■4著
701 _0 ■c(美)■a纽曼■9niu man■c(Newman, James R.■f1907-1966)■4著
702 _0 ■c(美)■a侯世达■9hou shi da■c(Hofstadter, Douglas R.■f1945-)■4编
702 _0 ■a刘新文■9liu xin wen■4译
801 _0 ■aCN■b人天书店■c20210303
905 __ ■azglib■b0331402-03■dB712.59■e4042