<電子ブック>
Sets, Logic and Categories / by Peter J. Cameron
(Springer Undergraduate Mathematics Series. ISSN:21974144)
版 | 1st ed. 1998. |
---|---|
出版者 | (London : Springer London : Imprint: Springer) |
出版年 | 1998 |
大きさ | X, 182 p : online resource |
著者標目 | *Cameron, Peter J author SpringerLink (Online service) |
件 名 | LCSH:Mathematical logic LCSH:Algebra, Homological LCSH:K-theory FREE:Mathematical Logic and Foundations FREE:Category Theory, Homological Algebra FREE:K-Theory |
一般注記 | 1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have been introduced. The discussion is su pported by a wide range of exercises. The final chapter touches on philosophical issues. The book is supported by a World Wibe Web site containing a variety of supplementary material HTTP:URL=https://doi.org/10.1007/978-1-4471-0589-3 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9781447105893 |
|
電子リソース |
|
EB00204470 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA8.9-10.3 DC23:511.3 |
書誌ID | 4000104833 |
ISBN | 9781447105893 |
類似資料
この資料の利用統計
このページへのアクセス回数:5回
※2017年9月4日以降