Logical Number Theory I: An Introduction
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1991
|
| Series: | Universitext
|
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography |
| Physical Description: | 1 Online-Ressource (X, 405p. 13 illus) |
| ISBN: | 9783642754623 9783540522362 |
| ISSN: | 0172-5939 |
| DOI: | 10.1007/978-3-642-75462-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042422981 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1991 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642754623 |c Online |9 978-3-642-75462-3 | ||
| 020 | |a 9783540522362 |c Print |9 978-3-540-52236-2 | ||
| 024 | 7 | |a 10.1007/978-3-642-75462-3 |2 doi | |
| 035 | |a (OCoLC)879623907 | ||
| 035 | |a (DE-599)BVBBV042422981 | ||
| 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 Smoryński, Craig |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical Number Theory I |b An Introduction |c by Craig Smoryński |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1991 | |
| 300 | |a 1 Online-Ressource (X, 405p. 13 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Universitext |x 0172-5939 | |
| 500 | |a Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography | ||
| 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 Number Theory | |
| 650 | 4 | |a Mathematik | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-75462-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-027858398 | ||
Record in the Search Index
| _version_ | 1804153098116005888 |
|---|---|
| any_adam_object | |
| author | Smoryński, Craig |
| author_facet | Smoryński, Craig |
| author_role | aut |
| author_sort | Smoryński, Craig |
| author_variant | c s cs |
| building | Verbundindex |
| bvnumber | BV042422981 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)879623907 (DE-599)BVBBV042422981 |
| 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-3-642-75462-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02257nmm a2200433zc 4500</leader><controlfield tag="001">BV042422981</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1991 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642754623</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-75462-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540522362</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-52236-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-75462-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879623907</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042422981</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">Smoryński, Craig</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical Number Theory I</subfield><subfield code="b">An Introduction</subfield><subfield code="c">by Craig Smoryński</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 405p. 13 illus)</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">Universitext</subfield><subfield code="x">0172-5939</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography</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">Number Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-75462-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-027858398</subfield></datafield></record></collection> |
| id | DE-604.BV042422981 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:12Z |
| institution | BVB |
| isbn | 9783642754623 9783540522362 |
| issn | 0172-5939 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027858398 |
| oclc_num | 879623907 |
| 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, 405p. 13 illus) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Universitext |
| spelling | Smoryński, Craig Verfasser aut Logical Number Theory I An Introduction by Craig Smoryński Berlin, Heidelberg Springer Berlin Heidelberg 1991 1 Online-Ressource (X, 405p. 13 illus) txt rdacontent c rdamedia cr rdacarrier Universitext 0172-5939 Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography Mathematics Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Number Theory Mathematik https://doi.org/10.1007/978-3-642-75462-3 Verlag Volltext |
| spellingShingle | Smoryński, Craig Logical Number Theory I An Introduction Mathematics Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Number Theory Mathematik |
| title | Logical Number Theory I An Introduction |
| title_auth | Logical Number Theory I An Introduction |
| title_exact_search | Logical Number Theory I An Introduction |
| title_full | Logical Number Theory I An Introduction by Craig Smoryński |
| title_fullStr | Logical Number Theory I An Introduction by Craig Smoryński |
| title_full_unstemmed | Logical Number Theory I An Introduction by Craig Smoryński |
| title_short | Logical Number Theory I |
| title_sort | logical number theory i an introduction |
| title_sub | An Introduction |
| topic | Mathematics Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Number Theory Mathematik |
| topic_facet | Mathematics Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Number Theory Mathematik |
| url | https://doi.org/10.1007/978-3-642-75462-3 |
| work_keys_str_mv | AT smorynskicraig logicalnumbertheoryianintroduction |