A formalization of set theory without variables

タイトル、所在を表示します

フォーマット:

図書

責任表示:

by Alfred Tarski and Steven Givant

言語:

英語

出版情報:

Providence, R.I. : American Mathematical Society, c1987

形態:

xxi, 318 p. ; 26 cm

著者名:

シリーズ名:

書誌ID:

BA01472392

ISBN:

9780821810415 [0821810413]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Logic, Symbolic and mathematical; Set theory
LCCN:	86022168
注記:	Bibliography: p. 273-282 Includes indexes
登録日:	2005-10-17
分類・件名:	LCC : QA248 DDC : 511.3/22 LCSH : Set theory LCSH : Logic, Symbolic and mathematical

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 A hierarchy of formulas in set theory Levy Azriel American Mathematical Society	7 図書 Set theory Hausdorff, Felix, 1868-1942, Aumann, John R. Chelsea Pub. Co.
2 図書 Elements of set theory Zehna, Peter W., Johnson, Robert L. (Robert Leo) Allyn and Bacon	8 図書 Logic, computers, and sets Wang, Hao, 1921- Chelsea Pub.
3 図書 Notes on logic and set theory Johnstone, P. T Cambridge University Press	9 図書 Bertrand Russell and the origins of the set-theoretic 'paradoxes' Garciadiego Dantan, Alejandro Ricardo Birkhäuser Verlag
4 図書 Set theory and the continuum hypothesis Cohen, Paul J., 1934- Benjamin	10 図書 Set theory Jech, Thomas J. Academic Press
5 図書 Set theory, logic, and their limitations Maḥover, Mosheh Cambridge University Press	11 図書 Set theory Tourlakis, George J. Cambridge University Press
6 図書 Collected papers Tarski, Alfred, 1902-, McKenzie, Ralph, Givant, Steven R. Birkhäuser	12 図書 Theory of sets Bourbaki, Nicolas Hermann, Addison-Wesley