蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
中央図書館 | 0113882757 | 913.6/ジユ/14 | 書庫1 | | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1000201384688 |
| 書誌種別 |
図書 |
| 書名 |
第13回 自由都市文学賞入賞作品 |
| 書名ヨミ |
ジユウ トシ ブンガクシヨウ ニユウシヨウ サクヒン |
| 著者名 |
堺市文化振興財団/編集
|
| 著者名ヨミ |
サカイシブンカシンコウザイダン |
| 出版者 |
堺 堺市
|
| 出版年月 |
2002.10 |
| ページ数 |
0044 |
| 大きさ |
21cm×15cm |
| 分類記号 |
913.6
|
| 分類記号 |
913.6
|
| 言語区分 |
日本語 |
| (他の紹介)内容紹介 |
驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。 |
| (他の紹介)目次 |
第1章 ゲーデルの証明の基礎概念 第2章 数論におけるタルスキーの定理 第3章 累乗法に基づくペアノの数論における不完全性 第4章 累乗法に基づかない数論 第5章 ω無矛盾性に基づくゲーデルの証明 第6章 ロッサー体系 第7章 シェファードソンの表現定理 第8章 定義可能性と対角化 第9章 無矛盾性の証明不可能性 第10章 証明可能性と真理性に関する一般概念 第11章 自己言及体系 |
内容細目表
前のページへ