検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著 T2 ブルーバックス A1 竹内, 薫(1960-) YR 2013 FD 2013.4 SP 246p K1 記号論理学 PB 講談社 PP 東京 SN 9784062578103 LA Japanese (日本語) CL NDC8:410.96 CL NDC7:410.12 NO 書誌ID=B000223382; NCID=BB12229644; LK [OPAC]https://opac.lib.juen.ac.jp/opac/opac_link/bibid/B000223382 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BB12229644; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=9784062578103 OL 58