01006nam--2200301---45009900006574102033160065741USA010065741(ALEPH)000065741USA01006574120011001d1656----km-y0ENGy0103----baitaITOpere. In questa nuova editione insieme raccolte e di varij trattati dell'istesso autore non più stampati accresciuteBolognaper HH. del Dozza16562 v.23 cm2001GALILEI,Galileo4160ITsalbcISBD990000657410203316FV C 4 2 13-141481-1482FV C 4 2BKF.VENTIMIGLIAPATTY9020011001USA01135320020403USA011715PATRY9020040406USA011645Opere. In questa nuova editione insieme raccolte e di varij trattati dell'istesso autore non più stampati accresciute959981UNISA03157nam 22006855 450 991096200460332120250731082122.01-4471-0589-310.1007/978-1-4471-0589-3(CKB)3400000000088218(SSID)ssj0000808466(PQKBManifestationID)11464590(PQKBTitleCode)TC0000808466(PQKBWorkID)10777810(PQKB)10047824(DE-He213)978-1-4471-0589-3(MiAaPQ)EBC3074332(PPN)187456429(EXLCZ)99340000000008821820121227d1998 u| 0engurnn#008mamaatxtccrSets, Logic and Categories /by Peter J. Cameron1st ed. 1998.London :Springer London :Imprint: Springer,1998.1 online resource (X, 182 p.)Springer Undergraduate Mathematics Series,2197-4144Bibliographic Level Mode of Issuance: Monograph1-85233-056-2 Includes bibliographical references and index.1. 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.Set 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.Springer Undergraduate Mathematics Series,2197-4144Logic, Symbolic and mathematicalAlgebra, HomologicalK-theoryMathematical Logic and FoundationsCategory Theory, Homological AlgebraK-TheoryLogic, Symbolic and mathematical.Algebra, Homological.K-theory.Mathematical Logic and Foundations.Category Theory, Homological Algebra.K-Theory.511.3/2203-01msc00A05msc13-01mscCameron Peter Jauthttp://id.loc.gov/vocabulary/relators/aut40938MiAaPQMiAaPQMiAaPQBOOK9910962004603321Sets, logic and categories1425016UNINA