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