検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳 OT Forever undecided : a puzzle guide to Gödel A1 Smullyan, Raymond M., 1919- A1 長尾, 確(1962-) A1 田中, 朋之(1962-) YR 1990 FD 1990.11 SP 279p K1 数学基礎論 K1 ゲーデルの定理 K1 Gödel, Kurt, 1906-1978 PB 白揚社 PP 東京 SN 4826900449 LA Japanese (日本語) CL NDC8:410.9 CL NDC8:116.3 CL NDC8:410.96 CL NDC7:410.1 CL NDLC:MA41 NO 原著(New York : A.Knopf, 1987)の全訳 NO 索引: 巻末 NO 書誌ID=2000019384; NCID=BN05489989; LK [OPAC]https://www.lib.ntu.ac.jp/opac/opac_link/bibid/2000019384 OL 58