蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
北白石 | 4413090046 | 913/ハ/ | 文庫 | | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1008000188915 |
| 書誌種別 |
図書 |
| 書名 |
三年坂 火の夢 講談社文庫 |
| 書名ヨミ |
サンネンザカ ヒ ノ ユメ |
| 著者名 |
早瀬 乱/[著]
|
| 著者名ヨミ |
ハヤセ ラン |
| 出版者 |
講談社
|
| 出版年月 |
2009.8 |
| ページ数 |
476p |
| 大きさ |
15cm |
| 分類記号 |
913.6
|
| 分類記号 |
913.6
|
| ISBN |
4-06-276442-1 |
| 言語区分 |
日本語 |
| 受賞情報 |
江戸川乱歩賞 |
| (他の紹介)内容紹介 |
驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。 |
| (他の紹介)目次 |
第1章 ゲーデルの証明の基礎概念 第2章 数論におけるタルスキーの定理 第3章 累乗法に基づくペアノの数論における不完全性 第4章 累乗法に基づかない数論 第5章 ω無矛盾性に基づくゲーデルの証明 第6章 ロッサー体系 第7章 シェファードソンの表現定理 第8章 定義可能性と対角化 第9章 無矛盾性の証明不可能性 第10章 証明可能性と真理性に関する一般概念 第11章 自己言及体系 |
内容細目表
前のページへ