検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著 A1 広瀬, 健(1935-) A1 横田, 一正(1949-) YR 1985 FD 1985.5 SP vii, 210p K1 ゲーデルの定理 PB 海鳴社 PP 東京 SN 4875251068 LA Japanese (日本語) CL NDC8:410.9 CL NDLC:MA41 NO 著作一覧: p143-146. 参考文献: p203-205. 索引: 巻末 NO 書誌ID=B000068649; NCID=BN00218157; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000068649 OL 58