Elements of Logic via Numbers and Sets:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London
Springer London
1998
|
| Series: | Springer Undergraduate Mathematics Series
|
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fully-worked solutions at the end of the book. In addition to a comprehensive index, there is also a useful 'Dramatis Personae' an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme |
| Physical Description: | 1 Online-Ressource (X, 188p) |
| ISBN: | 9781447106036 9783540761235 |
| ISSN: | 1615-2085 |
| DOI: | 10.1007/978-1-4471-0603-6 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042419363 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 9781447106036 |c Online |9 978-1-4471-0603-6 | ||
| 020 | |a 9783540761235 |c Print |9 978-3-540-76123-5 | ||
| 024 | 7 | |a 10.1007/978-1-4471-0603-6 |2 doi | |
| 035 | |a (OCoLC)1184345513 | ||
| 035 | |a (DE-599)BVBBV042419363 | ||
| 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 Johnson, D. L. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Elements of Logic via Numbers and Sets |c by D. L. Johnson |
| 264 | 1 | |a London |b Springer London |c 1998 | |
| 300 | |a 1 Online-Ressource (X, 188p) | ||
| 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 In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fully-worked solutions at the end of the book. In addition to a comprehensive index, there is also a useful 'Dramatis Personae' an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Number theory | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematics, general | |
| 650 | 4 | |a Number Theory | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |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 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4471-0603-6 |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-027854780 | ||
| 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 | |
Record in the Search Index
| _version_ | 1804153089903558656 |
|---|---|
| any_adam_object | |
| author | Johnson, D. L. |
| author_facet | Johnson, D. L. |
| author_role | aut |
| author_sort | Johnson, D. L. |
| author_variant | d l j dl dlj |
| building | Verbundindex |
| bvnumber | BV042419363 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1184345513 (DE-599)BVBBV042419363 |
| 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-0603-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02795nmm a2200517zc 4500</leader><controlfield tag="001">BV042419363</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">9781447106036</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4471-0603-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540761235</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-76123-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-0603-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184345513</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042419363</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">Johnson, D. L.</subfield><subfield code="e">Verfasser</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">by D. L. Johnson</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, 188p)</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">In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fully-worked solutions at the end of the book. In addition to a comprehensive index, there is also a useful 'Dramatis Personae' an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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">Number theory</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">Mathematics, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Number 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">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="8">1\p</subfield><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="8">2\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-0603-6</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-027854780</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></record></collection> |
| genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV042419363 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:04Z |
| institution | BVB |
| isbn | 9781447106036 9783540761235 |
| issn | 1615-2085 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854780 |
| oclc_num | 1184345513 |
| 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, 188p) |
| 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 | Johnson, D. L. Verfasser aut Elements of Logic via Numbers and Sets by D. L. Johnson London Springer London 1998 1 Online-Ressource (X, 188p) txt rdacontent c rdamedia cr rdacarrier Springer Undergraduate Mathematics Series 1615-2085 In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fully-worked solutions at the end of the book. In addition to a comprehensive index, there is also a useful 'Dramatis Personae' an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme Mathematics Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Mathematics, general Number Theory Mathematik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 https://doi.org/10.1007/978-1-4471-0603-6 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 |
| spellingShingle | Johnson, D. L. Elements of Logic via Numbers and Sets Mathematics Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Mathematics, general Number Theory Mathematik 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 by D. L. Johnson |
| title_fullStr | Elements of Logic via Numbers and Sets by D. L. Johnson |
| title_full_unstemmed | Elements of Logic via Numbers and Sets by D. L. Johnson |
| title_short | Elements of Logic via Numbers and Sets |
| title_sort | elements of logic via numbers and sets |
| topic | Mathematics Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Mathematics, general Number Theory Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematics Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Mathematics, general Number Theory Mathematik Mathematische Logik Lehrbuch |
| url | https://doi.org/10.1007/978-1-4471-0603-6 |
| work_keys_str_mv | AT johnsondl elementsoflogicvianumbersandsets |