Toposes and local set theories : an introduction | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Toposes and local set theories : an introduction / J.L. Bell

資料種別:: 図書
出版情報:: Oxford : Clarendon Press
Tokyo : Oxford University Press, 1988
形態:: xii, 267 p. ; 24 cm
シリーズ名:: Oxford logic guides ; 14 <BA00017765>
著者名:: Bell, J. L. (John Lane) <DA01493537>
ISBN:: 9780198532743 [0198532741]
書誌ID:: BA04580981

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:

Bibliography: p. [258]-260
Includes indexes

主題:

Logic, Symbolic and mathematical; Set theory; Toposes

言語:

英語

目次情報:

Elements of Category Theory / 1：

Introducing Toposes / 2：

Local Set Theories / 3：

Fundamental Properties of Toposes / 4：

From Logic to Sheaves / 5：

Locale-Valued Sets / 6：

Natural Numbers and Real Numbers / 7：

Epilogue: The Wider Significance of Topos Theory / 8：

Elements of Category Theory / 1：

Introducing Toposes / 2：

Local Set Theories / 3：

Fundamental Properties of Toposes / 4：

From Logic to Sheaves / 5：

Locale-Valued Sets / 6：

続きを見る

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Set theory and the continuum hypothesis Cohen, Paul J., 1934- Benjamin	7 図書 A formalization of set theory without variables Tarski, Alfred, 1902-, Givant, Steven R. American Mathematical Society
2 図書 Set theory and the continuum hypothesis Cohen, Paul J., 1934- W.A. Benjamin	8 図書 Set theory : an introduction (: Boston ; : Basel) Vaught, Robert L., 1926- Birkhäuser
3 図書 A course in mathematical logic Bell, J. L. (John Lane), Maḥover, Mosheh North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.	9 図書 Introduction to set theory Hrbacek, Karel, 1944-, Jech, Thomas J. M. Dekker
4 図書 Boolean-valued models and independence proofs in set theory Bell, J. L. (John Lane) Clarendon Press	10 図書 Sheaves in geometry and logic : a first introduction to topos theory (: us ; : gw) Mac Lane, Saunders, 1909-, Moerdijk, Ieke Springer-Verlag
5 図書 Boolean-valued models and independence proofs in set theory Bell, J. L. (John Lane) Clarendon Press	11 電子ブック Sheaves in geometry and logic : a first introduction to topos theory (: electronic bk) Mac Lane, Saunders, 1909-, Moerdijk, Ieke Springer-Verlag
6 図書 Set theory and logic Fraenkel, Abraham Adolf, 1891-1965 Addison-Wesley Pub. Co	12 図書 Sheaves in geometry and logic : a first introduction to topos theory (: us ; : gw) Mac Lane, Saunders, 1909-, Moerdijk, Ieke Springer

1

2

3

4

5

6

7

8

9

10

11

12