LEADER 03157nam 22006855 450 001 9910962004603321 005 20250731082122.0 010 $a1-4471-0589-3 024 7 $a10.1007/978-1-4471-0589-3 035 $a(CKB)3400000000088218 035 $a(SSID)ssj0000808466 035 $a(PQKBManifestationID)11464590 035 $a(PQKBTitleCode)TC0000808466 035 $a(PQKBWorkID)10777810 035 $a(PQKB)10047824 035 $a(DE-He213)978-1-4471-0589-3 035 $a(MiAaPQ)EBC3074332 035 $a(PPN)187456429 035 $a(EXLCZ)993400000000088218 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSets, Logic and Categories /$fby Peter J. Cameron 205 $a1st ed. 1998. 210 1$aLondon :$cSpringer London :$cImprint: Springer,$d1998. 215 $a1 online resource (X, 182 p.) 225 1 $aSpringer Undergraduate Mathematics Series,$x2197-4144 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a1-85233-056-2 320 $aIncludes bibliographical references and index. 327 $a1. Naďve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References. 330 $aSet theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have been introduced. The discussion is su pported by a wide range of exercises. The final chapter touches on philosophical issues. The book is supported by a World Wibe Web site containing a variety of supplementary material. 410 0$aSpringer Undergraduate Mathematics Series,$x2197-4144 606 $aLogic, Symbolic and mathematical 606 $aAlgebra, Homological 606 $aK-theory 606 $aMathematical Logic and Foundations 606 $aCategory Theory, Homological Algebra 606 $aK-Theory 615 0$aLogic, Symbolic and mathematical. 615 0$aAlgebra, Homological. 615 0$aK-theory. 615 14$aMathematical Logic and Foundations. 615 24$aCategory Theory, Homological Algebra. 615 24$aK-Theory. 676 $a511.3/22 686 $a03-01$2msc 686 $a00A05$2msc 686 $a13-01$2msc 700 $aCameron$b Peter J$4aut$4http://id.loc.gov/vocabulary/relators/aut$040938 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910962004603321 996 $aSets, logic and categories$91425016 997 $aUNINA