Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Dordrecht
Elsevier Science
1952
|
| Series: | Studies in logic and the foundations of mathematics
v. 10 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Includes bibliographical references |
| Physical Description: | 1 Online-Ressource (v, 117 p.) |
| ISBN: | 9780444533753 0444533753 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317946 | ||
| 003 | DE-604 | ||
| 005 | 20170110 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1952 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444533753 |9 978-0-444-53375-3 | ||
| 020 | |a 0444533753 |9 0-444-53375-3 | ||
| 035 | |a (OCoLC)428097398 | ||
| 035 | |a (DE-599)BVBBV042317946 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 245 | 1 | 0 | |a Sentences undecidable in formalized arithmetic |b an exposition of the theory of Kurt Gödel |c edited by Andrzej Mostowski |
| 264 | 1 | |a Dordrecht |b Elsevier Science |c 1952 | |
| 300 | |a 1 Online-Ressource (v, 117 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 10 | |
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a Gödel's theorem |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Semantics (Philosophy) |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 4 | |a Gödel's theorem | |
| 650 | 0 | 7 | |a Unentscheidbarkeit |0 (DE-588)4294363-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruierbarkeit |g Mathematik |0 (DE-588)4165094-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | 1 | |a Konstruierbarkeit |g Mathematik |0 (DE-588)4165094-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Unentscheidbarkeit |0 (DE-588)4294363-2 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Mostowski, Andrzej |d 1913-1975 |e Sonstige |0 (DE-588)118584510 |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444533753 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754937 | ||
| 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 | |
Record in the Search Index
| _version_ | 1804152914943410176 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)118584510 |
| building | Verbundindex |
| bvnumber | BV042317946 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428097398 (DE-599)BVBBV042317946 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02370nmm a2200589zcb4500</leader><controlfield tag="001">BV042317946</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170110 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1952 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444533753</subfield><subfield code="9">978-0-444-53375-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444533753</subfield><subfield code="9">0-444-53375-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428097398</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317946</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-1046</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sentences undecidable in formalized arithmetic</subfield><subfield code="b">an exposition of the theory of Kurt Gödel</subfield><subfield code="c">edited by Andrzej Mostowski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Elsevier Science</subfield><subfield code="c">1952</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (v, 117 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="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 10</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Gödel's theorem</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantics (Philosophy)</subfield><subfield code="2">fast</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">Semantics (Philosophy)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gödel's theorem</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unentscheidbarkeit</subfield><subfield code="0">(DE-588)4294363-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruierbarkeit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4165094-3</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Konstruierbarkeit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4165094-3</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">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</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">Unentscheidbarkeit</subfield><subfield code="0">(DE-588)4294363-2</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="700" ind1="1" ind2=" "><subfield code="a">Mostowski, Andrzej</subfield><subfield code="d">1913-1975</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)118584510</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444533753</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754937</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.BV042317946 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444533753 0444533753 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754937 |
| oclc_num | 428097398 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (v, 117 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1952 |
| publishDateSearch | 1952 |
| publishDateSort | 1952 |
| publisher | Elsevier Science |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel edited by Andrzej Mostowski Dordrecht Elsevier Science 1952 1 Online-Ressource (v, 117 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 10 Includes bibliographical references Gödel's theorem fast Logic, Symbolic and mathematical fast Semantics (Philosophy) fast Logic, Symbolic and mathematical Semantics (Philosophy) Gödel's theorem Unentscheidbarkeit (DE-588)4294363-2 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mengenlehre (DE-588)4074715-3 s Konstruierbarkeit Mathematik (DE-588)4165094-3 s 1\p DE-604 Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s 2\p DE-604 Unentscheidbarkeit (DE-588)4294363-2 s 3\p DE-604 Mostowski, Andrzej 1913-1975 Sonstige (DE-588)118584510 oth http://www.sciencedirect.com/science/book/9780444533753 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 | Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel Gödel's theorem fast Logic, Symbolic and mathematical fast Semantics (Philosophy) fast Logic, Symbolic and mathematical Semantics (Philosophy) Gödel's theorem Unentscheidbarkeit (DE-588)4294363-2 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4294363-2 (DE-588)4021417-5 (DE-588)4165094-3 (DE-588)4074715-3 |
| title | Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel |
| title_auth | Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel |
| title_exact_search | Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel |
| title_full | Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel edited by Andrzej Mostowski |
| title_fullStr | Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel edited by Andrzej Mostowski |
| title_full_unstemmed | Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel edited by Andrzej Mostowski |
| title_short | Sentences undecidable in formalized arithmetic |
| title_sort | sentences undecidable in formalized arithmetic an exposition of the theory of kurt godel |
| title_sub | an exposition of the theory of Kurt Gödel |
| topic | Gödel's theorem fast Logic, Symbolic and mathematical fast Semantics (Philosophy) fast Logic, Symbolic and mathematical Semantics (Philosophy) Gödel's theorem Unentscheidbarkeit (DE-588)4294363-2 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Gödel's theorem Logic, Symbolic and mathematical Semantics (Philosophy) Unentscheidbarkeit Gödelscher Unvollständigkeitssatz Konstruierbarkeit Mathematik Mengenlehre |
| url | http://www.sciencedirect.com/science/book/9780444533753 |
| work_keys_str_mv | AT mostowskiandrzej sentencesundecidableinformalizedarithmeticanexpositionofthetheoryofkurtgodel |