ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著
ゲーデル ニ イドム : ショウメイ フカノウナ コト ノ ショウメイ
データ種別 | 図書 |
---|---|
出版者 | 東京 : 東京大学出版会 |
出版年 | 2012.4 |
本文言語 | 日本語 |
大きさ | viii, 177p : 挿図 ; 21cm |
別書名 | 異なりアクセスタイトル:ゲーデルに挑む : 証明不可能なことの証明 その他のタイトル:Reading Gödel : a proof of unprovability |
所蔵情報を非表示
配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 請求メモ | 予約 | 仮想書架 | 指定図書 |
---|---|---|---|---|---|---|---|---|---|---|
土:中央図書館閉架地下記念文庫室(上層) |
|
410.9/G31t | a5012202166b |
|
9784130639002 |
|