000 00647nam a2200241zu 4500
005 20241005161839.0
008 090205n chi d
100 1 _aNagel, Ernest
240 0 0 _Goedel's Proof
245 _602
_aGe te er zheng ming
_cNagel, Ernest
245 _602
_a葛特爾証明
246 _aGödel, Kurt
260 _aTaibei
_bTaiwan Shangwu
_c1971
260 _a臺北
_b台灣商務印書館
_c1971
300 _a99 p.
490 _aXin kexue wenku
490 _aXin ke-xue wen-ku
490 _a 新科學文庫
700 _aChen Huanchang
700 _a陳環昌 [翻譯]
946 _a
999 _c56226
_d56226