A Course in Mathematical Logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York, NY
Springer New York
1977
|
| Series: | Graduate Texts in Mathematics
53 |
| Subjects: | |
| Links: | https://doi.org/10.1007/978-1-4757-4385-2 |
| Item Description: | 1. This book is above all addressed to mathematicians. It is intended to be a textbook of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last ten or fifteen years. These include: the independence of the continuum hypothesis, the Diophantine nature of enumerable sets, the impossibility of finding an algorithmic solution for one or two old problems. All the necessary preliminary material, including predicate logic and the fundamentals of recursive function theory, is presented systematically and with complete proofs. We only assume that the reader is familiar with "naive" set theoretic arguments. In this book mathematical logic is presented both as a part of mathematics and as the result of its self-perception. Thus, the substance of the book consists of difficult proofs of subtle theorems, and the spirit of the book consists of attempts to explain what these theorems say about the mathematical way of thought. Foundational problems are for the most part passed over in silence. Most likely, logic is capable of justifying mathematics to no greater extent than biology is capable of justifying life. 2. The first two chapters are devoted to predicate logic. The presentation here is fairly standard, except that semantics occupies a very dominant position, truth is introduced before deducibility, and models of speech in formal languages precede the systematic study of syntax |
| Physical Description: | 1 Online-Ressource (XIII, 288 p) |
| ISBN: | 9781475743852 9781475743876 |
| ISSN: | 0072-5285 |
| DOI: | 10.1007/978-1-4757-4385-2 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042421615 | ||
| 003 | DE-604 | ||
| 005 | 20210216 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1977 xx o|||| 00||| eng d | ||
| 020 | |a 9781475743852 |c Online |9 978-1-4757-4385-2 | ||
| 020 | |a 9781475743876 |c Print |9 978-1-4757-4387-6 | ||
| 024 | 7 | |a 10.1007/978-1-4757-4385-2 |2 doi | |
| 035 | |a (OCoLC)864106859 | ||
| 035 | |a (DE-599)BVBBV042421615 | ||
| 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 Manin, Jurij I. |d 1937-2023 |e Verfasser |0 (DE-588)121177580 |4 aut | |
| 245 | 1 | 0 | |a A Course in Mathematical Logic |c by Yu. I. Manin |
| 264 | 1 | |a New York, NY |b Springer New York |c 1977 | |
| 300 | |a 1 Online-Ressource (XIII, 288 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Graduate Texts in Mathematics |v 53 |x 0072-5285 | |
| 500 | |a 1. This book is above all addressed to mathematicians. It is intended to be a textbook of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last ten or fifteen years. These include: the independence of the continuum hypothesis, the Diophantine nature of enumerable sets, the impossibility of finding an algorithmic solution for one or two old problems. All the necessary preliminary material, including predicate logic and the fundamentals of recursive function theory, is presented systematically and with complete proofs. We only assume that the reader is familiar with "naive" set theoretic arguments. In this book mathematical logic is presented both as a part of mathematics and as the result of its self-perception. Thus, the substance of the book consists of difficult proofs of subtle theorems, and the spirit of the book consists of attempts to explain what these theorems say about the mathematical way of thought. Foundational problems are for the most part passed over in silence. Most likely, logic is capable of justifying mathematics to no greater extent than biology is capable of justifying life. 2. The first two chapters are devoted to predicate logic. The presentation here is fairly standard, except that semantics occupies a very dominant position, truth is introduced before deducibility, and models of speech in formal languages precede the systematic study of syntax | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 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)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 830 | 0 | |a Graduate Texts in Mathematics |v 53 |w (DE-604)BV035421258 |9 53 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4757-4385-2 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027857032 | |
Record in the Search Index
| DE-BY-TUM_katkey | 2068624 |
|---|---|
| _version_ | 1821931221161082882 |
| any_adam_object | |
| author | Manin, Jurij I. 1937-2023 |
| author_GND | (DE-588)121177580 |
| author_facet | Manin, Jurij I. 1937-2023 |
| author_role | aut |
| author_sort | Manin, Jurij I. 1937-2023 |
| author_variant | j i m ji jim |
| building | Verbundindex |
| bvnumber | BV042421615 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)864106859 (DE-599)BVBBV042421615 |
| 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-4757-4385-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03286nam a2200505zcb4500</leader><controlfield tag="001">BV042421615</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210216 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1977 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781475743852</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4757-4385-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781475743876</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4757-4387-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4757-4385-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864106859</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042421615</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">Manin, Jurij I.</subfield><subfield code="d">1937-2023</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121177580</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Course in Mathematical Logic</subfield><subfield code="c">by Yu. I. Manin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 288 p)</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="1" ind2=" "><subfield code="a">Graduate Texts in Mathematics</subfield><subfield code="v">53</subfield><subfield code="x">0072-5285</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">1. This book is above all addressed to mathematicians. It is intended to be a textbook of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last ten or fifteen years. These include: the independence of the continuum hypothesis, the Diophantine nature of enumerable sets, the impossibility of finding an algorithmic solution for one or two old problems. All the necessary preliminary material, including predicate logic and the fundamentals of recursive function theory, is presented systematically and with complete proofs. We only assume that the reader is familiar with "naive" set theoretic arguments. In this book mathematical logic is presented both as a part of mathematics and as the result of its self-perception. Thus, the substance of the book consists of difficult proofs of subtle theorems, and the spirit of the book consists of attempts to explain what these theorems say about the mathematical way of thought. Foundational problems are for the most part passed over in silence. Most likely, logic is capable of justifying mathematics to no greater extent than biology is capable of justifying life. 2. The first two chapters are devoted to predicate logic. The presentation here is fairly standard, except that semantics occupies a very dominant position, truth is introduced before deducibility, and models of speech in formal languages precede the systematic study of syntax</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">Mathematical Logic and Foundations</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)4151278-9</subfield><subfield code="a">Einführung</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="830" ind1=" " ind2="0"><subfield code="a">Graduate Texts in Mathematics</subfield><subfield code="v">53</subfield><subfield code="w">(DE-604)BV035421258</subfield><subfield code="9">53</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4757-4385-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><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="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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027857032</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042421615 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:10:45Z |
| institution | BVB |
| isbn | 9781475743852 9781475743876 |
| issn | 0072-5285 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027857032 |
| oclc_num | 864106859 |
| 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 (XIII, 288 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Springer New York |
| record_format | marc |
| series | Graduate Texts in Mathematics |
| series2 | Graduate Texts in Mathematics |
| spellingShingle | Manin, Jurij I. 1937-2023 A Course in Mathematical Logic Graduate Texts in Mathematics Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4151278-9 |
| title | A Course in Mathematical Logic |
| title_auth | A Course in Mathematical Logic |
| title_exact_search | A Course in Mathematical Logic |
| title_full | A Course in Mathematical Logic by Yu. I. Manin |
| title_fullStr | A Course in Mathematical Logic by Yu. I. Manin |
| title_full_unstemmed | A Course in Mathematical Logic by Yu. I. Manin |
| title_short | A Course in Mathematical Logic |
| title_sort | a course in mathematical logic |
| topic | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Mathematische Logik Einführung |
| url | https://doi.org/10.1007/978-1-4757-4385-2 |
| volume_link | (DE-604)BV035421258 |
| work_keys_str_mv | AT maninjuriji acourseinmathematicallogic |