MARC Record from harvard_bibliographic_metadata

LEADER: 02364nam a22004695a 4500
001 013839776-7
005 20131206201238.0
008 121227s1998 xxk| s ||0| 0|eng d
020 $a9781447105893
020 $a9781447105893
020 $a9781852330569
024 7 $a10.1007/978-1-4471-0589-3$2doi
035 $a(Springer)9781447105893
040 $aSpringer
050 4 $aQA8.9-10.3
072 7 $aPBC$2bicssc
072 7 $aPBCD$2bicssc
072 7 $aMAT018000$2bisacsh
082 04 $a511.3$223
100 1 $aCameron, Peter J.,$eauthor.
245 10 $aSets, Logic and Categories /$cby Peter J. Cameron.
264 1 $aLondon :$bSpringer London :$bImprint: Springer,$c1998.
300 $aX, 182p.$bonline resource.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
347 $atext file$bPDF$2rda
490 1 $aSpringer Undergraduate Mathematics Series,$x1615-2085
505 0 $aNaive Set Theory -- Ordinal Numbers -- Logic -- First-order Logic -- Model theory -- Axiomatic set theory categories -- References.
520 $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.
650 20 $aK-theory.
650 10 $aMathematics.
650 0 $aMathematics.
650 0 $aAlgebra.
650 0 $aK-theory.
650 0 $aLogic, Symbolic and mathematical.
650 24 $aMathematical Logic and Foundations.
650 24 $aCategory Theory, Homological Algebra.
776 08 $iPrinted edition:$z9781852330569
830 0 $aSpringer Undergraduate Mathematics Series.
988 $a20131119
906 $0VEN