| NCID | BA40783610 |
| タイトル | ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳||ゲーデル ワ ナニ オ ショウメイ シタカ : スウガク カラ チョウスウガク エ |
| 出版者 | 東京 : 白揚社 , 1999.3 |
| 形態 | 170p ; 19cm |
| 別書名 | Gödel's proof.
|
| 注記 | 「数学から超数学へ」(1968年刊)の改題改訂
Gödel's proof.の翻訳 |
| 分類 | NDC8:410.96
NDC9:410.96 |
| 件名 | BSH:記号論理学
|
| 著者情報 | Nagel, Ernest, 1901-
Newman, James Roy, 1907-1966
林, 一(1933-) (ハヤシ, ハジメ)
|
| 和洋区分 | 和 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 原作言語 | 英語 |
| 出版国 | 日本 |
| ISBN | 4826900872
|
| 番号 | OTHN : JLA:99010385 |