Logic, computation, hierarchies:
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Boston ;Berlin
De Gruyter
2014
|
| Series: | Ontos mathematical logic
v. 4 |
| Subjects: | |
| Online Access: | DE-706 Volltext Volltext Volltext |
| Item Description: | Festschrift. - Includes bibliographical references and index Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists |
| Physical Description: | 1 Online-Ressource (PDF-Datei: X, 413 S.) |
| ISBN: | 1614517835 9781614517832 9781614518044 9781614518051 9781614519409 |
| DOI: | 10.1515/9781614518044 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042346069 | ||
| 003 | DE-604 | ||
| 005 | 20201030 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150212s2014 xx o|||| 01||| eng d | ||
| 020 | |a 1614517835 |c hd.bd. |9 1-61451-783-5 | ||
| 020 | |a 9781614517832 |c print; hd.bd. |9 978-1-61451-783-2 | ||
| 020 | |a 9781614518044 |c online |9 978-1-61451-804-4 | ||
| 020 | |a 9781614518044 |9 978-1-61451-804-4 | ||
| 020 | |a 9781614518051 |9 978-1-61451-805-1 | ||
| 020 | |a 9781614519409 |9 978-1-61451-940-9 | ||
| 024 | 7 | |a 10.1515/9781614518044 |2 doi | |
| 035 | |a (OCoLC)888956446 | ||
| 035 | |a (DE-599)BVBBV042346069 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-859 |a DE-860 |a DE-473 |a DE-739 |a DE-1046 |a DE-703 |a DE-1043 |a DE-858 |a DE-824 |a DE-19 |a DE-706 | ||
| 082 | 0 | |a 511.3 | |
| 245 | 1 | 0 | |a Logic, computation, hierarchies |c edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
| 264 | 1 | |a Boston ;Berlin |b De Gruyter |c 2014 | |
| 300 | |a 1 Online-Ressource (PDF-Datei: X, 413 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Ontos mathematical logic |v v. 4 | |
| 500 | |a Festschrift. - Includes bibliographical references and index | ||
| 500 | |a Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists | ||
| 600 | 1 | 7 | |a Selivanov, Viktor |d 1952- |0 (DE-588)1064282385 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 653 | |a Electronic books | ||
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Selivanov, Viktor |d 1952- |0 (DE-588)1064282385 |D p |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Brattka, Vasco |0 (DE-588)121389847 |4 edt | |
| 700 | 1 | |a Diener, Hannes |4 edt | |
| 700 | 1 | |a Spreen, Dieter |d 1947- |0 (DE-588)1105675939 |4 edt | |
| 700 | 1 | |a Selivanov, Viktor |d 1952- |0 (DE-588)1064282385 |4 hnr | |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9781614518044 |x Verlag |3 Volltext |
| 856 | 4 | 0 | |u http://www.degruyter.com/search?f_0=isbnissn&q_0=9781614518044&searchTitles=true |x Verlag |3 Volltext |
| 856 | 4 | 0 | |u http://www.degruyter.com/viewbooktoc/product/429641 |x Verlag |3 Volltext |
| 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 | |
| 912 | |a ZDB-23-DGG | ||
| 912 | |a ZDB-23-GPH | ||
| 912 | |a ZDB-23-GBA | ||
| 940 | 1 | |q FKE_PDA_DGG | |
| 940 | 1 | |q FLA_PDA_DGG | |
| 940 | 1 | |q UBG_PDA_DGG | |
| 940 | 1 | |q UPA_PDA_DGG | |
| 940 | 1 | |q FAW_PDA_DGG | |
| 940 | 1 | |q ZDB-23-GPH_2000/2014 | |
| 940 | 1 | |q FCO_PDA_DGG | |
| 940 | 1 | |q ZDB-23-GBA_2000/2014 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027782550 | |
| 966 | e | |u https://doi.org/10.1515/9781614518044 |l DE-706 |p ZDB-23-GBA |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1824508358771605504 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Brattka, Vasco Diener, Hannes Spreen, Dieter 1947- |
| author2_role | edt edt edt |
| author2_variant | v b vb h d hd d s ds |
| author_GND | (DE-588)121389847 (DE-588)1105675939 (DE-588)1064282385 |
| author_facet | Brattka, Vasco Diener, Hannes Spreen, Dieter 1947- |
| building | Verbundindex |
| bvnumber | BV042346069 |
| collection | ZDB-23-DGG ZDB-23-GPH ZDB-23-GBA |
| ctrlnum | (OCoLC)888956446 (DE-599)BVBBV042346069 |
| 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.1515/9781614518044 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042346069</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201030</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150212s2014 xx o|||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614517835</subfield><subfield code="c">hd.bd.</subfield><subfield code="9">1-61451-783-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614517832</subfield><subfield code="c">print; hd.bd.</subfield><subfield code="9">978-1-61451-783-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614518044</subfield><subfield code="c">online</subfield><subfield code="9">978-1-61451-804-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614518044</subfield><subfield code="9">978-1-61451-804-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614518051</subfield><subfield code="9">978-1-61451-805-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614519409</subfield><subfield code="9">978-1-61451-940-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781614518044</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)888956446</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042346069</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-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, computation, hierarchies</subfield><subfield code="c">edited by Vasco Brattka, Hannes Diener, Dieter Spreen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston ;Berlin</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (PDF-Datei: X, 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">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">Ontos mathematical logic</subfield><subfield code="v">v. 4</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Festschrift. - Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Selivanov, Viktor</subfield><subfield code="d">1952-</subfield><subfield code="0">(DE-588)1064282385</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronic books</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Selivanov, Viktor</subfield><subfield code="d">1952-</subfield><subfield code="0">(DE-588)1064282385</subfield><subfield code="D">p</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">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</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="700" ind1="1" ind2=" "><subfield code="a">Brattka, Vasco</subfield><subfield code="0">(DE-588)121389847</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diener, Hannes</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Spreen, Dieter</subfield><subfield code="d">1947-</subfield><subfield code="0">(DE-588)1105675939</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Selivanov, Viktor</subfield><subfield code="d">1952-</subfield><subfield code="0">(DE-588)1064282385</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781614518044</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.degruyter.com/search?f_0=isbnissn&q_0=9781614518044&searchTitles=true</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.degruyter.com/viewbooktoc/product/429641</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GBA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FKE_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBG_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UPA_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-GPH_2000/2014</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FCO_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-GBA_2000/2014</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027782550</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9781614518044</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-23-GBA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV042346069 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-19T17:39:21Z |
| institution | BVB |
| isbn | 1614517835 9781614517832 9781614518044 9781614518051 9781614519409 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027782550 |
| oclc_num | 888956446 |
| open_access_boolean | |
| owner | DE-859 DE-860 DE-473 DE-BY-UBG DE-739 DE-1046 DE-703 DE-1043 DE-858 DE-824 DE-19 DE-BY-UBM DE-706 |
| owner_facet | DE-859 DE-860 DE-473 DE-BY-UBG DE-739 DE-1046 DE-703 DE-1043 DE-858 DE-824 DE-19 DE-BY-UBM DE-706 |
| physical | 1 Online-Ressource (PDF-Datei: X, 413 S.) |
| psigel | ZDB-23-DGG ZDB-23-GPH ZDB-23-GBA FKE_PDA_DGG FLA_PDA_DGG UBG_PDA_DGG UPA_PDA_DGG FAW_PDA_DGG ZDB-23-GPH_2000/2014 FCO_PDA_DGG ZDB-23-GBA_2000/2014 |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | De Gruyter |
| record_format | marc |
| series2 | Ontos mathematical logic |
| spelling | Logic, computation, hierarchies edited by Vasco Brattka, Hannes Diener, Dieter Spreen Boston ;Berlin De Gruyter 2014 1 Online-Ressource (PDF-Datei: X, 413 S.) txt rdacontent c rdamedia cr rdacarrier Ontos mathematical logic v. 4 Festschrift. - Includes bibliographical references and index Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists Selivanov, Viktor 1952- (DE-588)1064282385 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Electronic books (DE-588)4016928-5 Festschrift gnd-content Selivanov, Viktor 1952- (DE-588)1064282385 p 1\p DE-604 Berechnungstheorie (DE-588)4005581-4 s 2\p DE-604 Brattka, Vasco (DE-588)121389847 edt Diener, Hannes edt Spreen, Dieter 1947- (DE-588)1105675939 edt Selivanov, Viktor 1952- (DE-588)1064282385 hnr https://doi.org/10.1515/9781614518044 Verlag Volltext http://www.degruyter.com/search?f_0=isbnissn&q_0=9781614518044&searchTitles=true Verlag Volltext http://www.degruyter.com/viewbooktoc/product/429641 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 |
| spellingShingle | Logic, computation, hierarchies Selivanov, Viktor 1952- (DE-588)1064282385 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)1064282385 (DE-588)4005581-4 (DE-588)4016928-5 |
| title | Logic, computation, hierarchies |
| title_auth | Logic, computation, hierarchies |
| title_exact_search | Logic, computation, hierarchies |
| title_full | Logic, computation, hierarchies edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
| title_fullStr | Logic, computation, hierarchies edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
| title_full_unstemmed | Logic, computation, hierarchies edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
| title_short | Logic, computation, hierarchies |
| title_sort | logic computation hierarchies |
| topic | Selivanov, Viktor 1952- (DE-588)1064282385 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Selivanov, Viktor 1952- Berechnungstheorie Festschrift |
| url | https://doi.org/10.1515/9781614518044 http://www.degruyter.com/search?f_0=isbnissn&q_0=9781614518044&searchTitles=true http://www.degruyter.com/viewbooktoc/product/429641 |
| work_keys_str_mv | AT brattkavasco logiccomputationhierarchies AT dienerhannes logiccomputationhierarchies AT spreendieter logiccomputationhierarchies AT selivanovviktor logiccomputationhierarchies |