蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
中央図書館 | 0113775316 | 016.2/キ/ | 書庫2 | | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1001001278600 |
| 書誌種別 |
図書 |
| 書名 |
共同と自治の図書館 21世紀のあらたな歩みを願って |
| 書名ヨミ |
キョウドウ ト ジチ ノ トショカン |
| 著者名 |
横倉 節夫/パネラー
|
| 著者名ヨミ |
ヨコクラ セツオ |
| 著者名 |
山田 優子/パネラー |
| 著者名ヨミ |
ヤマダ ユウコ |
| 著者名 |
根本 彰/パネラー |
| 著者名ヨミ |
ネモト アキラ |
| 出版者 |
図書館を考える勉強会
|
| 出版年月 |
2001.4 |
| ページ数 |
101p |
| 大きさ |
21cm |
| 分類記号 |
016.2
|
| 分類記号 |
016.2
|
| 内容紹介 |
多摩地域における21世紀の公共図書館のあり方を探る第一歩として、2000年10月に開かれたシンポジウムの記録。地域や人々の暮らし方の変化や課題を、十分踏まえた図書館活動を展開することの重要性を指摘する。 |
| 著者紹介 |
神奈川大学教授。 |
| 件名 |
図書館(公共) |
| 言語区分 |
日本語 |
| (他の紹介)内容紹介 |
驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。 |
| (他の紹介)目次 |
第1章 ゲーデルの証明の基礎概念 第2章 数論におけるタルスキーの定理 第3章 累乗法に基づくペアノの数論における不完全性 第4章 累乗法に基づかない数論 第5章 ω無矛盾性に基づくゲーデルの証明 第6章 ロッサー体系 第7章 シェファードソンの表現定理 第8章 定義可能性と対角化 第9章 無矛盾性の証明不可能性 第10章 証明可能性と真理性に関する一般概念 第11章 自己言及体系 |
内容細目表
前のページへ