検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 不完全性定理 / ゲーデル著 ; 林晋, 八杉満利子訳・解説 T2 岩波文庫 OT Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I A1 Gödel, Kurt, 1906-1978 A1 林, 晋(1953-) A1 八杉, 満利子(1937-) YR 2006 FD 2006.9 SP 309p K1 記号論理学 PB 岩波書店 PP 東京 SN 4003394410 LA Japanese (日本語) CL NDC8:410.96 CL NDC9:410.96 NO 文献: p307-309 NO 書誌ID=1001773220; NCID=BA78367288; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001773220 OL 58