Undecidable theories:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1953
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 13 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | 1 Online-Ressource (ix, 98 p.) |
| ISBN: | 9780444533784 0444533788 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317948 | ||
| 003 | DE-604 | ||
| 005 | 20170110 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1953 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444533784 |9 978-0-444-53378-4 | ||
| 020 | |a 0444533788 |9 0-444-53378-8 | ||
| 035 | |a (OCoLC)428097401 | ||
| 035 | |a (DE-599)BVBBV042317948 | ||
| 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 Undecidable theories |c edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1953 | |
| 300 | |a 1 Online-Ressource (ix, 98 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. 13 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Decidability (Mathematical logic) |2 fast | |
| 650 | 7 | |a Gödel's theorem |2 fast | |
| 650 | 4 | |a Gödel's theorem | |
| 650 | 4 | |a Decidability (Mathematical logic) | |
| 700 | 1 | |a Tarski, Alfred |d 1901-1983 |e Sonstige |0 (DE-588)118620851 |4 oth | |
| 700 | 1 | |a Mostowski, Andrzej |d 1913-1975 |e Sonstige |0 (DE-588)118584510 |4 oth | |
| 700 | 1 | |a Robinson, Raphael M. |d 1911- |e Sonstige |0 (DE-588)1118871642 |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444533784 |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-027754939 | ||
Datensatz im Suchindex
| _version_ | 1804152914945507328 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)118620851 (DE-588)118584510 (DE-588)1118871642 |
| building | Verbundindex |
| bvnumber | BV042317948 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428097401 (DE-599)BVBBV042317948 |
| 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>01553nmm a2200421zcb4500</leader><controlfield tag="001">BV042317948</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170110 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1953 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444533784</subfield><subfield code="9">978-0-444-53378-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444533788</subfield><subfield code="9">0-444-53378-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428097401</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317948</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">Undecidable theories</subfield><subfield code="c">edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1953</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 98 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. 13</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Decidability (Mathematical logic)</subfield><subfield code="2">fast</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="4"><subfield code="a">Gödel's theorem</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decidability (Mathematical logic)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tarski, Alfred</subfield><subfield code="d">1901-1983</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)118620851</subfield><subfield code="4">oth</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="700" ind1="1" ind2=" "><subfield code="a">Robinson, Raphael M.</subfield><subfield code="d">1911-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1118871642</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444533784</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-027754939</subfield></datafield></record></collection> |
| id | DE-604.BV042317948 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444533784 0444533788 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754939 |
| oclc_num | 428097401 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (ix, 98 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1953 |
| publishDateSearch | 1953 |
| publishDateSort | 1953 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Undecidable theories edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson Amsterdam North-Holland 1953 1 Online-Ressource (ix, 98 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 13 Includes bibliographical references and index Decidability (Mathematical logic) fast Gödel's theorem fast Gödel's theorem Decidability (Mathematical logic) Tarski, Alfred 1901-1983 Sonstige (DE-588)118620851 oth Mostowski, Andrzej 1913-1975 Sonstige (DE-588)118584510 oth Robinson, Raphael M. 1911- Sonstige (DE-588)1118871642 oth http://www.sciencedirect.com/science/book/9780444533784 Verlag Volltext |
| spellingShingle | Undecidable theories Decidability (Mathematical logic) fast Gödel's theorem fast Gödel's theorem Decidability (Mathematical logic) |
| title | Undecidable theories |
| title_auth | Undecidable theories |
| title_exact_search | Undecidable theories |
| title_full | Undecidable theories edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson |
| title_fullStr | Undecidable theories edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson |
| title_full_unstemmed | Undecidable theories edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson |
| title_short | Undecidable theories |
| title_sort | undecidable theories |
| topic | Decidability (Mathematical logic) fast Gödel's theorem fast Gödel's theorem Decidability (Mathematical logic) |
| topic_facet | Decidability (Mathematical logic) Gödel's theorem |
| url | http://www.sciencedirect.com/science/book/9780444533784 |
| work_keys_str_mv | AT tarskialfred undecidabletheories AT mostowskiandrzej undecidabletheories AT robinsonraphaelm undecidabletheories |