検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳 OT Forever undecided : a puzzle guide to Gödel OT 決定不能の論理パズル A1 Smullyan, Raymond M., 1919- A1 田中, 朋之(1962-) A1 長尾, 確(1962-) YR 2008 FD 2008.5 SP 281p K1 不完全性定理 K1 Gödel, Kurt, 1906-1978 PB 白揚社 PP 東京 SN 9784826901420 LA Japanese (日本語) CL NDC8:410.9 CL NDC9:410.9 NO 「決定不能の論理パズル」(白揚社 1990年刊) の改題新装版 NO Knopf, 1987の全訳 NO 書誌ID=1002136574; NCID=BA86149963; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1002136574 OL 58