検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] : 高橋昌一郎訳 OT Gödel's incompleteness theorems A1 Smullyan, Raymond M., 1919- A1 高橋, 昌一郎(1959-) YR 1996 FD 1996.7 SP xi, 220p K1 記号論理学 K1 ゲーデルの定理 PB 丸善 PP 東京 SN 4621042041 LA Japanese (日本語) CL NDC9:410.96 CL NDC8:410.96 CL NDC8:410.9 CL NDC7:410.12 CL NDLC:MA41 NO 原著(Oxford: Oxford University Press, 1992)の全訳 NO 参考文献: p211-212 NO 索引: p217-220 NO 書誌ID=B000068594; NCID=BN14775093; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000068594 OL 58