000    nam0
001 __ 0108251548
005 __ 20241010151323.0
010 __ ■a978-7-5184-3286-8■dCNY42.00
100 __ ■a20210416d2021    em y0chiy0120    ea
101 1_ ■achi■ceng
102 __ ■aCN■b110000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a哥德尔证明■Age de er zheng ming■b专著■dG?del's proof■f(美)欧内斯特·内格尔(Ernest Nagel)，(美)詹姆斯·R. 纽曼(James R. Newman)著■g(美)侯世达(Douglas R. Hofstadter)编■g刘新文译■zger
210 __ ■a北京■c中国轻工业出版社■d2021
215 __ ■a13,142页■d21cm
330 __ ■a本书分八个部分，内容包括：一致性问题、一致性的绝对证明、形式逻辑的系统化、映射观念及其在数学中的使用等。
510 1_ ■aG?del's proof■zger
600 _0 ■a哥德尔■c(Godel, Kurt■f1906-1978)■x逻辑哲学■x研究
690 __ ■aB516.59■v5
701 _0 ■c(美)■a内格尔■Anei ge er■c(Nagel, Ernest)■4著
701 _0 ■c(美)■a纽曼■Aniu man■c(Newman, James R.)■4著
702 _0 ■c(美)■a侯世达■Ahou shi da■c(Hofstadter, Douglas R.)■4编
702 _0 ■a刘新文■Aliu xin wen■4译
801 _0 ■aCN■b四川众工文化传媒有限公司■c20241008
905 __ ■b00131170■dB516.59■e1