The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Mineola, NY
Dover Publ.
2004
|
| Edition: | Corr. republ. of the orig. work, publ. by Raven, Hewlett, 1965 |
| Subjects: | |
| Physical Description: | 413 S. |
| ISBN: | 0486432289 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV023796408 | ||
| 003 | DE-604 | ||
| 005 | 20180302 | ||
| 007 | t | ||
| 008 | 040929s2004 |||| 00||| eng d | ||
| 020 | |a 0486432289 |9 0-486-43228-9 | ||
| 035 | |a (OCoLC)634042590 | ||
| 035 | |a (DE-599)BVBBV023796408 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 | ||
| 084 | |a QH 120 |0 (DE-625)141532: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a The undecidable |b basic papers on undecidable propositions, unsolvable problems, and computable functions |c ed. by Martin Davis |
| 250 | |a Corr. republ. of the orig. work, publ. by Raven, Hewlett, 1965 | ||
| 264 | 1 | |a Mineola, NY |b Dover Publ. |c 2004 | |
| 300 | |a 413 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Davis, Martin |d 1928-2023 |0 (DE-588)116040866 |4 edt | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017438612 | ||
Record in the Search Index
| _version_ | 1804138992575184896 |
|---|---|
| any_adam_object | |
| author2 | Davis, Martin 1928-2023 |
| author2_role | edt |
| author2_variant | m d md |
| author_GND | (DE-588)116040866 |
| author_facet | Davis, Martin 1928-2023 |
| building | Verbundindex |
| bvnumber | BV023796408 |
| classification_rvk | QH 120 SK 130 |
| ctrlnum | (OCoLC)634042590 (DE-599)BVBBV023796408 |
| discipline | Mathematik Wirtschaftswissenschaften |
| edition | Corr. republ. of the orig. work, publ. by Raven, Hewlett, 1965 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01089nam a2200325zc 4500</leader><controlfield tag="001">BV023796408</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180302 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040929s2004 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0486432289</subfield><subfield code="9">0-486-43228-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634042590</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023796408</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 120</subfield><subfield code="0">(DE-625)141532:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The undecidable</subfield><subfield code="b">basic papers on undecidable propositions, unsolvable problems, and computable functions</subfield><subfield code="c">ed. by Martin Davis</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Corr. republ. of the orig. work, publ. by Raven, Hewlett, 1965</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Mineola, NY</subfield><subfield code="b">Dover Publ.</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">413 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Davis, Martin</subfield><subfield code="d">1928-2023</subfield><subfield code="0">(DE-588)116040866</subfield><subfield code="4">edt</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017438612</subfield></datafield></record></collection> |
| id | DE-604.BV023796408 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T21:37:00Z |
| institution | BVB |
| isbn | 0486432289 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017438612 |
| oclc_num | 634042590 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | 413 S. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Dover Publ. |
| record_format | marc |
| spelling | The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions ed. by Martin Davis Corr. republ. of the orig. work, publ. by Raven, Hewlett, 1965 Mineola, NY Dover Publ. 2004 413 S. txt rdacontent n rdamedia nc rdacarrier Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 s DE-604 Davis, Martin 1928-2023 (DE-588)116040866 edt |
| spellingShingle | The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions Entscheidbarkeit (DE-588)4152398-2 gnd |
| subject_GND | (DE-588)4152398-2 |
| title | The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions |
| title_auth | The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions |
| title_exact_search | The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions |
| title_full | The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions ed. by Martin Davis |
| title_fullStr | The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions ed. by Martin Davis |
| title_full_unstemmed | The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions ed. by Martin Davis |
| title_short | The undecidable |
| title_sort | the undecidable basic papers on undecidable propositions unsolvable problems and computable functions |
| title_sub | basic papers on undecidable propositions, unsolvable problems, and computable functions |
| topic | Entscheidbarkeit (DE-588)4152398-2 gnd |
| topic_facet | Entscheidbarkeit |
| work_keys_str_mv | AT davismartin theundecidablebasicpapersonundecidablepropositionsunsolvableproblemsandcomputablefunctions |