検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 数学から超数学へ : ゲーデルの証明 / E.ナーゲル, J.R.ニューマン著 ; はやしはじめ訳 OT Gödel's proof A1 Nagel, Ernest, 1901- A1 Newman, James Roy, 1907-1966 A1 林, 一(1933-) YR 1968 FD 1968.9 SP 162p K1 ゲーデルの定理 PB 白揚社 PP 東京 SN 4826920326 LA Japanese (日本語) CL NDC8:410.1 NO 書誌ID=1000003048; NCID=BN00813580; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000003048 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN00813580; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=4826920326 OL 58