スマリヤン ノ ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ リロン
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳
| 出版者 | 東京 : 白揚社 |
|---|---|
| 出版年 | 2008.5 |
| 大きさ | 281p ; 21cm |
目次
書誌詳細を非表示
| 別書名 | 原タイトル:Forever undecided : a puzzle guide to Gödel 原タイトル:決定不能の論理パズル |
|---|---|
| 一般注記 | 「決定不能の論理パズル」(白揚社 1990年刊) の改題新装版 Knopf, 1987の全訳 |
| NCID | BA86149963 |
| 本文言語 | 日本語 |
| 著者標目 | Smullyan, Raymond M., 1919- 田中, 朋之(1962-) <タナカ, トモユキ> 長尾, 確(1962-) <ナガオ, カタシ> |
| 分 類 | NDC8:410.9 NDC9:410.9 |
| 件 名 | BSH:不完全性定理 LCSH:Gödel, Kurt, 1906-1978 |
| ISBN | 9784826901420 |
| 書誌ID | BB90048022 |
| 巻冊次 | ISBN:9784826901420 ; PRICE:2800円+税 |