<図書>
Sets, logic, and categories
責任表示 | Peter J. Cameron |
---|---|
シリーズ | Springer undergraduate mathematics series |
データ種別 | 図書 |
出版者 | London ; Berlin ; Heidelberg : Springer |
出版年 | 1999 |
本文言語 | 英語 |
大きさ | x, 180 p. ; 24 cm |
概要 | 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 Par...dox. 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. 続きを見る |
電子版へのリンク | https://hdl.handle.net/2324/6869641 |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
: pbk | 理系図3F 数理独自 | CAME/20/8 | 1999 |
|
023211999003837 |
|
||||
: pbk | 理系図3F 数理独自 | CAME/20/8A | 1999 |
|
023211999005158 |
|
書誌詳細
一般注記 | Includes bibliographical references and index |
---|---|
著者標目 | *Cameron, Peter Jephson, 1947- |
件 名 | LCSH:Set theory LCSH:Logic, Symbolic and mathematical LCSH:Categories (Mathematics) |
分 類 | LCC:QA248 DC21:511.3/22 |
書誌ID | 1001401655 |
ISBN | 1852330562 |
NCID | BA40167989 |
巻冊次 | : pbk ; ISBN:1852330562 |
登録日 | 2009.11.02 |
更新日 | 2017.02.18 |