大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
検索結果一覧
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
検索条件
著者
長坂健二郎
ハイライト
ON
OFF
一覧へ戻る
1 件中、 1 件目
数学基礎論
貸出可
新井 敏康/著 -- 岩波書店 -- 2011.5 -- 410.9
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般
一般資料室
410.9/2011/
00012392619
和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
数学基礎論 ,
書名ヨミ
スウガク キソロン
並列タイトル
Mathematical Logic
著者
新井 敏康
/著
著者名ヨミ
アライ,トシヤス
出版者
岩波書店
出版年
2011.5
ページ数, 大きさ
19,536p, 22cm
NDC10版
410.9
NDC8版
410.9
一般件名
数学基礎論
ISBN
978-4-00-005536-9
著者紹介
1958年生まれ。筑波大学数学系大学院博士課程修了。理学博士。千葉大学大学院理学研究科教授。専門は数学基礎論。
内容紹介
数学基礎論における核心的な結論、技法やアイデアをもれなく説明したテキスト。「不完全性定理」や「連続体仮説の独立性証明」の結果がどのような考え方によって得られたかを、完全な証明を通して解説。演習問題と解答付き。
ページの先頭へ