|
|
|
|
| LEADER |
00000cam a2200000Mu 4500 |
| 001 |
EBOOKCENTRAL_on1347026165 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr cnu|||||||| |
| 008 |
230209s2015 xx o ||| 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|c EBLCP
|d OCLCQ
|d EBLCP
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCL
|d OCLCQ
|
| 020 |
|
|
|a 9781118547915
|
| 020 |
|
|
|a 1118547918
|
| 035 |
|
|
|a (OCoLC)1347026165
|
| 082 |
0 |
4 |
|a 511.3
|q OCoLC
|2 23/eng/20230216
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a O'Leary, Michael L.
|
| 245 |
1 |
2 |
|a A First Course in Mathematical Logic and Set Theory
|h [electronic resource].
|
| 260 |
|
|
|a Newark :
|b John Wiley & Sons, Incorporated,
|c 2015.
|
| 300 |
|
|
|a 1 online resource (609 p.).
|
| 490 |
1 |
|
|a New York Academy of Sciences Ser.
|
| 500 |
|
|
|a Description based upon print version of record.
|
| 505 |
0 |
|
|a Intro -- TITLE PAGE -- COPYRIGHT -- DEDICATION -- TABLE OF CONTENTS -- PREFACE -- ACKNOWLEDGMENTS -- LIST OF SYMBOLS -- CHAPTER 1: PROPOSITIONAL LOGIC -- 1.1 SYMBOLIC LOGIC -- 1.2 INFERENCE -- 1.3 REPLACEMENT -- 1.4 PROOF METHODS -- 1.5 THE THREE PROPERTIES -- CHAPTER 2: FIRST-ORDER LOGIC -- 2.1 LANGUAGES -- 2.2 SUBSTITUTION -- 2.3 SYNTACTICS -- 2.4 PROOF METHODS -- CHAPTER 3: SET THEORY -- 3.1 SETS AND ELEMENTS -- 3.2 SET OPERATIONS -- 3.3 SETS WITHIN SETS -- 3.4 FAMILIES OF SETS -- CHAPTER 4: RELATIONS AND FUNCTIONS -- 4.1 RELATIONS -- 4.2 EQUIVALENCE RELATIONS -- 4.3 PARTIAL ORDERS
|
| 505 |
8 |
|
|a 4.4 FUNCTIONS -- 4.5 INJECTIONS AND SURJECTIONS -- 4.6 IMAGES AND INVERSE IMAGES -- CHAPTER 5: AXIOMATIC SET THEORY -- 5.1 AXIOMS -- 5.2 NATURAL NUMBERS -- 5.3 INTEGERS AND RATIONAL NUMBERS -- 5.4 MATHEMATICAL INDUCTION -- 5.5 STRONG INDUCTION -- 5.6 REAL NUMBERS -- CHAPTER 6: ORDINALS AND CARDINALS -- 6.1 ORDINAL NUMBERS -- 6.2 EQUINUMEROSITY -- 6.3 CARDINAL NUMBERS -- 6.4 ARITHMETIC -- 6.5 LARGE CARDINALS -- CHAPTER 7: MODELS -- 7.1 FIRST-ORDER SEMANTICS -- 7.2 SUBSTRUCTURES -- 7.3 HOMOMORPHISMS -- 7.4 THE THREE PROPERTIES REVISITED -- 7.5 MODELS OF DIFFERENT CARDINALITIES -- APPENDIX
|
| 504 |
|
|
|a REFERENCES -- INDEX -- END USER LICENSE AGREEMENT
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 655 |
|
0 |
|a Electronic books.
|
| 758 |
|
|
|i has work:
|a A first course in mathematical logic and set theory (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCFDvBB4KrhXMprqTqjRMyd
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a O'Leary, Michael L.
|t A First Course in Mathematical Logic and Set Theory
|d Newark : John Wiley & Sons, Incorporated,c2015
|z 9780470905883
|
| 830 |
|
0 |
|a New York Academy of Sciences Ser.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=7103794
|z Texto completo
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL7103794
|
| 994 |
|
|
|a 92
|b IZTAP
|
