Cargando…

Set theory and its logic /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Quine, W. V. (Willard Van Orman)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : Belknap Press of Harvard University Press, 1969.
Edición:Rev. ed.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 JSTOR_ocn441325304
003 OCoLC
005 20231005004200.0
006 m o d
007 cr cnu---unuuu
008 090929s1969 mau ob 001 0 eng d
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 
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 
029 1 |a AU@  |b 000053299252 
029 1 |a DEBBG  |b BV043092252 
029 1 |a DEBBG  |b BV044099182 
029 1 |a DEBSZ  |b 421969970 
029 1 |a DEBSZ  |b 449688453 
029 1 |a GBVCP  |b 803003668 
029 1 |a NLGGC  |b 322021855 
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 
042 |a dlr 
050 4 |a QA248  |b .Q5 1969eb 
072 7 |a MAT  |x 002040  |2 bisacsh 
072 7 |a PHI  |x 011000  |2 bisacsh 
072 7 |a REL  |x 000000  |2 bisacsh 
082 0 4 |a 512/.817  |2 22 
049 |a UAMI 
100 1 |a Quine, W. V.  |q (Willard Van Orman) 
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. 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |5 MiAaHDL 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
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. 
590 |a JSTOR  |b Books at JSTOR Demand Driven Acquisitions (DDA) 
590 |a JSTOR  |b Books at JSTOR All Purchased 
650 0 |a Axiomatic set theory. 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Théorie axiomatique des ensembles. 
650 6 |a Logique symbolique et mathématique. 
650 7 |a MATHEMATICS  |x Algebra  |x Intermediate.  |2 bisacsh 
650 7 |a PHILOSOPHY  |x Logic.  |2 bisacsh 
650 7 |a Axiomatic set theory  |2 fast 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
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://jstor.uam.elogim.com/stable/10.2307/j.ctv1smjv3j  |z Texto completo 
938 |a EBL - Ebook Library  |b EBLB  |n EBL3300184 
938 |a ebrary  |b EBRY  |n ebr10314191 
938 |a EBSCOhost  |b EBSC  |n 282745 
938 |a YBP Library Services  |b YANK  |n 3068581 
994 |a 92  |b IZTAP