2024/05/20
資料の種別。 |
図書。
資料情報のコピー
|
タイトル。 |
ゲーデルと20世紀の論理学(ロジック) 3(ゲーデル ト ニジッセイキ ノ ロジック(3))。
外部サイトで調べる:
|
各巻書名。 |
不完全性定理と算術の体系。
|
著者名等。 |
田中一之∥編(タナカ,カズユキ)。
|
出版者。 |
東京大学出版会/東京。
|
出版年。 |
2007.3。
|
ページと大きさ。 |
284p/22cm。
|
件名。 |
数学基礎論。
|
分類。 |
NDC8 版:410.9。
|
NDC9 版:410.9。
|
ISBN。 |
978-4-13-064097-8。
|
4-13-064097-6。
|
価格。 |
3800円。
|
タイトルコード。 |
1104661063。
|
内容紹介。 |
2つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。。
|
所蔵数。 |
館内でのみ利用可能な資料。 |
貸出可能な資料。 |
貸出中の資料。 |
予約数。 |
- 所蔵数
- 2 冊
|
- 館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料。
- 2 冊
|
- 貸出中の資料
- 0 冊
|
- 予約数
- 0 件
|
番号。 |
資料番号。 |
所蔵館。 |
配架場所(配架案内)。 |
請求記号。 |
状態。 |
1。 |
- 資料番号:
- 1014949190。
|
- 所蔵館:
- 福井県立図書館。
|
- 配架場所:
- カウンターカウンター(書庫内資料です。調査相談カウンターにてお尋ねください。)。
|
- 請求記号:
- 410.9/ケテル/3。
|
- 状態:
- 在架。
|
2。 |
- 資料番号:
- 2012117426。
|
- 所蔵館:
- 若狭図書学習センター。
|
- 配架場所:
- カウンターカウンター(書庫内資料です。カウンターにてお尋ねください。)。
|
- 請求記号:
- 410.9/ケテル/3。
|
- 状態:
- 在架。
|
このページのURL:http://www.library-archives.pref.fukui.lg.jp/wo/opc_srh/srh_detail/1104661063