キューネン数学基礎論講義
キューネン数学基礎論講義
- Call No. (NDL)
- MA41-L56
- Bibliographic ID of National Diet Library
- 027474798
Notes on use
Note (General)：
- 原タイトル: THE FOUNDATIONS OF MATHEMATICS
Detailed bibliographic record
Summary, etc.：
- 名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。(Provided by: 出版情報登録センター（JPRO）)
Author introduction：
- ケネス・キューネン ウィスコンシン大学マディソン校名誉教授藤田博司 愛媛大学大学院理工学研究科助教(Provided by: 出版情報登録センター（JPRO）)
Search by Bookstore
Table of Contents
第0章 導入
予備知識／述語論理／なぜこの本を読むべきか／数学の基礎／どのようにこの本を読むべきか
第I章 集合論
方針／公理／叙述についての二つの注意点／万物の理論としての集合論／数えること／外延性，内包，対，和集
合／関係・函数・離散数学／順序数／順序数についての帰納法と再帰／冪集合／基数／選択公理AC／基数の算術
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Northern Japan
宮城県図書館
Paper- Call No.：
- 410.9/2016.7
- Book Registration Number：
- 1011388129
Kanto
さいたま市立中央図書館
Paper- Call No.：
- 410.9 ｷﾕ
- Book Registration Number：
- 01102399746
千葉県立西部図書館
Paper- Call No.：
- 4109/ 84/
- Book Registration Number：
- 1102450750
東京都立中央図書館
Paper- Call No.：
- 410.9-5114-2016
- Book Registration Number：
- 7107729354
横浜市立図書館
Paper- Call No.：
- 410.9
- Book Registration Number：
- 2056637403
Search by Bookstore
Publication bibliographic database 
Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-535-78748-3
- Title
- Title Transcription
- キューネン スウガク キソロン コウギ
- Author/Editor
- ケネス・キューネン 著藤田博司 訳
- Author Heading
- 藤田, 博司 フジタ, ヒロシ ( 01115747 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2016.7
- Publication Date (W3CDTF)
- 2016
- Extent
- 378p