検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと A1 竹内, 薫(1960-) YR 2013 FD 2013.4 SP 246p K1 記号論理学 PB 講談社 PP 東京 SN 9784062578103 LA Japanese (日本語) CL NDC8:410.96 NO 読書案内: p231-240 NO 叢書名=ブルーバックス ; B-1810 NO 書誌ID=BB12600544; NCID=BB12229644; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB12600544 DS 同志社大学OPAC OL 58