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