検索結果をRefWorksへエクスポートします。対象は1件です。
閉じる
RT Book, Whole SR Print DC OPAC T1 ゲーデルに挑む : 証明不可能なことの証明 A1 田中, 一之 YR 2012 FD 2012.4 SP viii, 177p K1 不完全性定理 PB 東京大学出版会 PP 東京 SN 9784130639002 LA jpn CL NDC8:410.9 CL NDC9:410.9 NO 標題紙裏の欧文タイトル: Reading Gödel : a proof of unprovability NO 原論文の引用文献: p145-147 NO 文献案内: p167-169 NO 書誌ID=BB10102983; NCID=BB09016521; LK [OPAC]https://saosrv.kitasato-u.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB10102983 LK OL 58