Sets, Logic and Categories:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
Springer London
1998
|
| Schriftenreihe: | Springer Undergraduate Mathematics Series
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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 |
| Beschreibung: | 1 Online-Ressource (X, 182p) |
| ISBN: | 9781447105893 9781852330569 |
| ISSN: | 1615-2085 |
| DOI: | 10.1007/978-1-4471-0589-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042419361 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 9781447105893 |c Online |9 978-1-4471-0589-3 | ||
| 020 | |a 9781852330569 |c Print |9 978-1-85233-056-9 | ||
| 024 | 7 | |a 10.1007/978-1-4471-0589-3 |2 doi | |
| 035 | |a (OCoLC)869855942 | ||
| 035 | |a (DE-599)BVBBV042419361 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Cameron, Peter J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Sets, Logic and Categories |c by Peter J. Cameron |
| 264 | 1 | |a London |b Springer London |c 1998 | |
| 300 | |a 1 Online-Ressource (X, 182p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Springer Undergraduate Mathematics Series |x 1615-2085 | |
| 500 | |a 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 | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a K-theory | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Category Theory, Homological Algebra | |
| 650 | 4 | |a K-Theory | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4471-0589-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027854778 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153089900412928 |
|---|---|
| any_adam_object | |
| author | Cameron, Peter J. |
| author_facet | Cameron, Peter J. |
| author_role | aut |
| author_sort | Cameron, Peter J. |
| author_variant | p j c pj pjc |
| building | Verbundindex |
| bvnumber | BV042419361 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)869855942 (DE-599)BVBBV042419361 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-1-4471-0589-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02957nmm a2200601zc 4500</leader><controlfield tag="001">BV042419361</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1998 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447105893</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4471-0589-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781852330569</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-85233-056-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-0589-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)869855942</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042419361</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cameron, Peter J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sets, Logic and Categories</subfield><subfield code="c">by Peter J. Cameron</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer London</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 182p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer Undergraduate Mathematics Series</subfield><subfield code="x">1615-2085</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">K-theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Category Theory, Homological Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">K-Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-0589-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027854778</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042419361 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:04Z |
| institution | BVB |
| isbn | 9781447105893 9781852330569 |
| issn | 1615-2085 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854778 |
| oclc_num | 869855942 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (X, 182p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer London |
| record_format | marc |
| series2 | Springer Undergraduate Mathematics Series |
| spelling | Cameron, Peter J. Verfasser aut Sets, Logic and Categories by Peter J. Cameron London Springer London 1998 1 Online-Ressource (X, 182p) txt rdacontent c rdamedia cr rdacarrier Springer Undergraduate Mathematics Series 1615-2085 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 Mathematics Algebra K-theory Logic, Symbolic and mathematical Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory Mathematik Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 s 1\p DE-604 Mengenlehre (DE-588)4074715-3 s 2\p DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 https://doi.org/10.1007/978-1-4471-0589-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Cameron, Peter J. Sets, Logic and Categories Mathematics Algebra K-theory Logic, Symbolic and mathematical Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory Mathematik Kategorientheorie (DE-588)4120552-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4120552-2 (DE-588)4037951-6 (DE-588)4074715-3 |
| title | Sets, Logic and Categories |
| title_auth | Sets, Logic and Categories |
| title_exact_search | Sets, Logic and Categories |
| title_full | Sets, Logic and Categories by Peter J. Cameron |
| title_fullStr | Sets, Logic and Categories by Peter J. Cameron |
| title_full_unstemmed | Sets, Logic and Categories by Peter J. Cameron |
| title_short | Sets, Logic and Categories |
| title_sort | sets logic and categories |
| topic | Mathematics Algebra K-theory Logic, Symbolic and mathematical Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory Mathematik Kategorientheorie (DE-588)4120552-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Mathematics Algebra K-theory Logic, Symbolic and mathematical Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory Mathematik Kategorientheorie Mathematische Logik Mengenlehre |
| url | https://doi.org/10.1007/978-1-4471-0589-3 |
| work_keys_str_mv | AT cameronpeterj setslogicandcategories |