|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
mig00005394993 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
090929s1969 mau ob 001 0 eng d |
| 005 |
20240611154736.5 |
| 019 |
|
|
|a 610590178
|a 646811586
|a 923110060
|a 961594220
|a 962699840
|a 966148259
|
| 020 |
|
|
|a 9780674042421
|q (electronic bk.)
|
| 020 |
|
|
|a 0674042425
|q (electronic bk.)
|
| 020 |
|
|
|z 9780674802070
|
| 020 |
|
|
|z 9780674165496
|
| 020 |
|
|
|z 0196266106
|
| 020 |
|
|
|z 9780196266107
|
| 035 |
|
|
|a 1WRLDSHRocn441325304
|
| 035 |
|
|
|a (OCoLC)441325304
|z (OCoLC)610590178
|z (OCoLC)646811586
|z (OCoLC)923110060
|z (OCoLC)961594220
|z (OCoLC)962699840
|z (OCoLC)966148259
|
| 037 |
|
|
|a 22573/ctv1skc2v5
|b JSTOR
|
| 040 |
|
|
|a N$T
|b eng
|e pn
|c N$T
|d OCLCQ
|d E7B
|d OCLCQ
|d OCLCF
|d OCLCE
|d NLGGC
|d YDXCP
|d QGK
|d OCLCQ
|d EBLCP
|d DEBSZ
|d OCLCQ
|d AZK
|d LOA
|d ZCU
|d MERUC
|d OCLCQ
|d ICG
|d OCLCQ
|d STF
|d OCLCQ
|d VLY
|d JSTOR
|d OCLCO
|d JSTOR
|d OCLCQ
|d M8D
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 042 |
|
|
|a dlr
|
| 049 |
|
|
|a TXMM
|
| 050 |
|
4 |
|a QA248
|b .Q5 1969eb
|
| 082 |
0 |
4 |
|a 512/.817
|2 22
|
| 100 |
1 |
|
|a Quine, W. V.
|q (Willard Van Orman)
|1 https://id.oclc.org/worldcat/entity/E39PBJpjhx3KBcxVktHHwkkdQq
|
| 245 |
1 |
0 |
|a Set theory and its logic /
|c Willard Van Orman Quine.
|
| 250 |
|
|
|a Rev. ed.
|
| 260 |
|
|
|a Cambridge, Mass. :
|b Belknap Press of Harvard University Press,
|c 1969.
|
| 300 |
|
|
|a 1 online resource (xvii, 361 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references (pages 343-351) and index.
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a PREFACE TO THE REVISED EDITION -- PREFACE TO THE FIRST EDITION -- CONTENTS -- INTRODUCTION -- Part One. The Elements -- I. LOGIC -- 1. Quantification and identity -- 2. Virtual classes -- 3. Virtual relations -- II. REAL CLASSES -- 4. Reality, extensionality, and the individual -- 5. The virtual amid the real -- 6. Identity and substitution -- III. CLASSES OF CLASSES -- 7. Unit classes -- 8. Unions, intersections, descriptions -- 9. Relations as classes of pairs -- 10. Functions -- IV. NATURAL NUMBERS -- 11. Numbers unconstrued
|
| 505 |
8 |
|
|a 12. Numbers construed13. Induction -- V. ITERATION AND ARITHMETIC -- 14. Sequences and iterates -- 15. The ancestral -- 16. Sum, product, power -- Part Two. Higher Forms of Number -- VI. REAL NUMBERS -- 17. Program. Numerical pairs -- 18. Ratios and reaIs construed -- 19. Existential needs. Operations and extensions -- VII. ORDER AND ORDINALS -- 20. Transfinite induction -- 21. Order -- 22. Ordinal numbers -- 23. Laws of ordinals -- 24. The order of the ordinals -- VIII. TRANSFINITE RECURSION -- 25. Transfinite recursion
|
| 505 |
8 |
|
|a 26. Laws of transfinite recursion27. Enumeration -- IX. CARDINAL NUMBERS -- 28. Comparative size of classes -- 29. The SchrÜder-Bernstein theorem -- 30. Infinite cardinal numbers -- X. THE AXIOM OF CHOICE -- 31. Selections and selectors -- 32. Further equivalents of the axiom -- 33. The place of the axiom -- Part Three. Axiom Systems -- XI. RUSSELL�S THEORY OF TYPES -- 34. The constructive part -- 35. Classes and the axiom of reducibility -- 36. The modern theory of types -- XII. GENERAL VARIABLES AND ZERMELO
|
| 505 |
8 |
|
|a 37. The theory of types with general variables38. Cumulative types and Zermelo -- 39. Axioms of infinity and others -- XIII. STRATIFICATION AND ULTIMATE CLASSES -- 40. “New foundations� -- 41. Non-Cantorian classes. Induction again -- 42. Ultimate classes added -- XIV. VON NEUMANN�S SYSTEM AND OTHERS -- 43. The von Neumann�Bernays system -- 44. Departures and comparisons -- 45. Strength of systems -- SYNOPSIS OF FIVE AXIOM SYSTEMS -- LIST OF NUMBERED FORMULAS -- BIBLIOGRAPHICAL REFERENCES -- INDEX
|
| 520 |
|
|
|b This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted.
|
| 500 |
|
|
|a EBSCO eBook Academic Comprehensive Collection North America
|5 TMurS
|
| 650 |
|
0 |
|a Axiomatic set theory.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 730 |
0 |
|
|a WORLDSHARE SUB RECORDS
|
| 758 |
|
|
|i has work:
|a Set theory and its logic (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCH6kKV3KcT63Y9J84mrwYd
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Quine, W.V. (Willard Van Orman).
|t Set theory and its logic.
|b Rev. ed.
|d Cambridge, Mass. : Belknap Press of Harvard University Press, 1969
|z 0196266106
|z 9780196266107
|w (DLC) 68014271
|w (OCoLC)271738
|
| 856 |
4 |
0 |
|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=282745&authtype=ip,sso&custid=s4672406
|z CONNECT
|3 eBooks on EBSCOhost
|t 0
|
| 907 |
|
|
|a 4669189
|b 05-23-21
|c 07-02-20
|
| 949 |
|
|
|a ho0
|
| 994 |
|
|
|a 92
|b TXM
|
| 998 |
|
|
|a wi
|d z
|
| 999 |
f |
f |
|s efd7bb3a-dd55-48b9-91a7-5257e4f0959c
|i d9495a48-18f6-49fc-9f5a-3a2b67c701e1
|t 0
|
| 952 |
f |
f |
|a Middle Tennessee State University
|b Main
|c James E. Walker Library
|d Electronic Resources
|t 0
|e QA248 .Q5 1969eb
|h Library of Congress classification
|
