Elements of logic via numbers and sets:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
London [u.a.]
Springer
1998
|
| Schriftenreihe: | Springer undergraduate mathematics series
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 174 S. graph. Darst. |
| ISBN: | 3540761233 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011697799 | ||
| 003 | DE-604 | ||
| 005 | 20010314 | ||
| 007 | t | ||
| 008 | 971216s1998 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 950832031 |2 DE-101 | |
| 020 | |a 3540761233 |c kart. : DM 40.00 |9 3-540-76123-3 | ||
| 035 | |a (OCoLC)37341365 | ||
| 035 | |a (DE-599)BVBBV011697799 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-703 |a DE-739 |a DE-20 |a DE-91G |a DE-634 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 512.7 |2 21 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Johnson, David L. |d 1943- |e Verfasser |0 (DE-588)115496629 |4 aut | |
| 245 | 1 | 0 | |a Elements of logic via numbers and sets |c D. L. Johnson |
| 264 | 1 | |a London [u.a.] |b Springer |c 1998 | |
| 300 | |a X, 174 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer undergraduate mathematics series | |
| 650 | 7 | |a Verzamelingen |2 gtt | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007888839&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007888839 | ||
Datensatz im Suchindex
| _version_ | 1804126236331474944 |
|---|---|
| adam_text | D.L. JOHNSON ELEMENTS OF LOGIC VIA NUMBERS AND SETS SPRINGER CONTENTS
INTRODUCTION IX 1. NUMBERS 1 1.1 ARITHMETIC PROGRESSIONS 1 1.2 PROOF BY
CONTRADICTION 5 1.3 PROOF BY CONTRAPOSITION 8 1.4 PROOF BY INDUCTION 10
1.5 INDUCTIVE DEFINITION 19 1.6 THE WELL-ORDERING PRINCIPLE 27 2. LOGIC
35 2.1 PROPOSITIONS 35 2.2 TRUTH TABLES 39 2.3 SYLLOGISMS 43 2.4
QUANTIFIERS 48 3. SETS 53 3.1 INTRODUCTION 54 3.2 OPERATIONS 58 3.3 LAWS
62 3.4 THE POWER SET 65 4. RELATIONS 71 4.1 EQUIVALENCE RELATIONS 72 4.2
CONGRUENCES 75 4.3 NUMBER SYSTEMS 79 4.4 ORDERINGS 85 VIII CONTENTS 5.
MAPS 89 5.1 TERMINOLOGY AND NOTATION 89 5.2 EXAMPLES 94 5.3 INJECTIONS,
SURJECTIONS AND BIJECTIONS 99 5.4 PEANO S AXIOMS 105 6. CARDINAL NUMBERS
113 6.1 CARDINAL ARITHMETIC 114 6.2 THE CANTOR-SCHROEDER-BERNSTEIN
THEOREM 118 6.3 COUNTABLE SETS 121 6.4 UNCOUNTABLE SETS 126 SOLUTIONS TO
EXERCISES 131 GUIDE TO THE LITERATURE 163 BIBLIOGRAPHY 165 DRAMATIS
PERSONAE 167 INDEX 171
|
| any_adam_object | 1 |
| author | Johnson, David L. 1943- |
| author_GND | (DE-588)115496629 |
| author_facet | Johnson, David L. 1943- |
| author_role | aut |
| author_sort | Johnson, David L. 1943- |
| author_variant | d l j dl dlj |
| building | Verbundindex |
| bvnumber | BV011697799 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)37341365 (DE-599)BVBBV011697799 |
| dewey-full | 512.7 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra 511 - General principles of mathematics |
| dewey-raw | 512.7 511.3 |
| dewey-search | 512.7 511.3 |
| dewey-sort | 3512.7 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01595nam a2200433 c 4500</leader><controlfield tag="001">BV011697799</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010314 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971216s1998 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950832031</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540761233</subfield><subfield code="c">kart. : DM 40.00</subfield><subfield code="9">3-540-76123-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37341365</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011697799</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.7</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Johnson, David L.</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115496629</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elements of logic via numbers and sets</subfield><subfield code="c">D. L. Johnson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 174 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer undergraduate mathematics series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verzamelingen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007888839&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007888839</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV011697799 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:14:15Z |
| institution | BVB |
| isbn | 3540761233 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007888839 |
| oclc_num | 37341365 |
| open_access_boolean | |
| owner | DE-703 DE-739 DE-20 DE-91G DE-BY-TUM DE-634 |
| owner_facet | DE-703 DE-739 DE-20 DE-91G DE-BY-TUM DE-634 |
| physical | X, 174 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer undergraduate mathematics series |
| spelling | Johnson, David L. 1943- Verfasser (DE-588)115496629 aut Elements of logic via numbers and sets D. L. Johnson London [u.a.] Springer 1998 X, 174 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Springer undergraduate mathematics series Verzamelingen gtt Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007888839&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Johnson, David L. 1943- Elements of logic via numbers and sets Verzamelingen gtt Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4123623-3 |
| title | Elements of logic via numbers and sets |
| title_auth | Elements of logic via numbers and sets |
| title_exact_search | Elements of logic via numbers and sets |
| title_full | Elements of logic via numbers and sets D. L. Johnson |
| title_fullStr | Elements of logic via numbers and sets D. L. Johnson |
| title_full_unstemmed | Elements of logic via numbers and sets D. L. Johnson |
| title_short | Elements of logic via numbers and sets |
| title_sort | elements of logic via numbers and sets |
| topic | Verzamelingen gtt Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Verzamelingen Logic, Symbolic and mathematical Mathematische Logik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007888839&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT johnsondavidl elementsoflogicvianumbersandsets |