広島市立図書館
蔵書検索画面の文字の大きさを変えるには
資料検索
資料紹介
Myライブラリ
広島市立図書館ホームページへ戻る
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
ゲーデルと20世紀の論理学(ロジック) 2
貸出可
0
1
0
田中 一之/編 -- 東京大学出版会 -- 2006.10 -- 410.9
総合評価
5段階評価の0.0
(0)
  
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。予約は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
中央
参書庫
K/410.9/たな/ヒ-2
180040360M
一般書
可能
利用可
ページの先頭へ
館別所蔵
館名
所蔵数
貸出中数
貸出可能数
中央
1
0
1
ページの先頭へ
資料詳細
タイトル
ゲーデルと20世紀の論理学(ロジック)
巻次
2
巻名
完全性定理とモデル理論
著者名
田中 一之
/編
出版者
東京大学出版会
出版年
2006.10
ページ数等
286p
大きさ
22cm
分類(9版)
410.9
分類(10版)
410.9
内容紹介
ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第2巻ではゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から立体的に解説する。
著者紹介
〈田中一之〉1955年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ph.D.。著書に「数の体系と超準モデル」など。
内容注記
文献:部末
テーマ
数学基礎論-歴史
,
記号論理学
,
モデルの理論
ISBN
4-13-064096-8
定価
¥3800
本体価格
¥3800
特定資料種別
図書
URL
https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1102833891
ページの先頭へ