Recursion-theoretic hierarchies /:
The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Cambridge, United Kingdom :
Cambridge University Press,
[2016]
|
Schriftenreihe: | Perspectives in mathematical logic.
|
Schlagworte: | |
Online-Zugang: | Volltext |
Zusammenfassung: | The theory set out in this book results from the meeting of descriptive set theory and recursion theory. |
Beschreibung: | 1 online resource : illustrations |
Bibliographie: | Includes bibliographical references and index. |
ISBN: | 9781316754825 1316754820 9781316749036 1316749037 9781316717110 1316717119 |
Internformat
MARC
LEADER | 00000cam a2200000 i 4500 | ||
---|---|---|---|
001 | ZDB-4-EBA-ocn982287933 | ||
003 | OCoLC | ||
005 | 20241004212047.0 | ||
006 | m o d | ||
007 | cr cnu|||unuuu | ||
008 | 170413s2016 enka ob 001 0 eng d | ||
040 | |a N$T |b eng |e rda |e pn |c N$T |d EBLCP |d N$T |d YDX |d UIU |d OCLCF |d MERER |d OCLCQ |d IDEBK |d U3W |d COO |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ |d SFB |d OCLCQ |d OCLCO | ||
019 | |a 982225958 |a 982343555 |a 982401469 |a 982415798 |a 982506725 |a 982512901 |a 982634371 |a 982779197 |a 982887816 |a 982918739 |a 983031011 |a 983097089 |a 983134142 |a 983238425 |a 983280134 |a 983317903 |a 983487037 |a 983529448 |a 983664258 | ||
020 | |a 9781316754825 |q (electronic bk.) | ||
020 | |a 1316754820 |q (electronic bk.) | ||
020 | |a 9781316749036 | ||
020 | |a 1316749037 | ||
020 | |a 9781316717110 | ||
020 | |a 1316717119 | ||
020 | |z 1107168244 | ||
020 | |z 9781107168244 | ||
035 | |a (OCoLC)982287933 |z (OCoLC)982225958 |z (OCoLC)982343555 |z (OCoLC)982401469 |z (OCoLC)982415798 |z (OCoLC)982506725 |z (OCoLC)982512901 |z (OCoLC)982634371 |z (OCoLC)982779197 |z (OCoLC)982887816 |z (OCoLC)982918739 |z (OCoLC)983031011 |z (OCoLC)983097089 |z (OCoLC)983134142 |z (OCoLC)983238425 |z (OCoLC)983280134 |z (OCoLC)983317903 |z (OCoLC)983487037 |z (OCoLC)983529448 |z (OCoLC)983664258 | ||
050 | 4 | |a QA9.62 |b .H56 2016 | |
072 | 7 | |a MAT |x 000000 |2 bisacsh | |
082 | 7 | |a 511/.3 |2 23 | |
049 | |a MAIN | ||
100 | 1 | |a Hinman, Peter G., |e author. | |
245 | 1 | 0 | |a Recursion-theoretic hierarchies / |c Peter G. Hinman. |
264 | 1 | |a Cambridge, United Kingdom : |b Cambridge University Press, |c [2016] | |
264 | 4 | |c ©2016 | |
300 | |a 1 online resource : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Perspectives in mathematical logic | |
520 | |a The theory set out in this book results from the meeting of descriptive set theory and recursion theory. | ||
504 | |a Includes bibliographical references and index. | ||
588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed April 18, 2017). | |
650 | 0 | |a Recursion theory |x Hierarchies. |0 http://id.loc.gov/authorities/subjects/sh85112013 | |
650 | 6 | |a Théorie de la récursivité |x Hiérarchies. | |
650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
650 | 7 | |a Recursion theory |x Hierarchies |2 fast | |
758 | |i has work: |a Recursion-theoretic hierarchies (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGtQx4Ck7Qyy3YbrXgKXtX |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
776 | 0 | 8 | |i Print version: |a Hinman, Peter G. |t Recursion-theoretic hierarchies. |d Cambridge, United Kingdom : Cambridge University Press, [2016] |z 1107168244 |z 9781107168244 |w (OCoLC)960033159 |
830 | 0 | |a Perspectives in mathematical logic. | |
856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475802 |3 Volltext |
938 | |a Askews and Holts Library Services |b ASKH |n AH34211160 | ||
938 | |a Askews and Holts Library Services |b ASKH |n AH32658270 | ||
938 | |a Askews and Holts Library Services |b ASKH |n AH32616521 | ||
938 | |a ProQuest Ebook Central |b EBLB |n EBL4812306 | ||
938 | |a EBSCOhost |b EBSC |n 1475802 | ||
938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis38009344 | ||
938 | |a YBP Library Services |b YANK |n 14007747 | ||
938 | |a YBP Library Services |b YANK |n 14008059 | ||
938 | |a YBP Library Services |b YANK |n 13972502 | ||
994 | |a 92 |b GEBAY | ||
912 | |a ZDB-4-EBA | ||
049 | |a DE-863 |
Datensatz im Suchindex
DE-BY-FWS_katkey | ZDB-4-EBA-ocn982287933 |
---|---|
_version_ | 1816882385846796290 |
adam_text | |
any_adam_object | |
author | Hinman, Peter G. |
author_facet | Hinman, Peter G. |
author_role | aut |
author_sort | Hinman, Peter G. |
author_variant | p g h pg pgh |
building | Verbundindex |
bvnumber | localFWS |
callnumber-first | Q - Science |
callnumber-label | QA9 |
callnumber-raw | QA9.62 .H56 2016 |
callnumber-search | QA9.62 .H56 2016 |
callnumber-sort | QA 19.62 H56 42016 |
callnumber-subject | QA - Mathematics |
collection | ZDB-4-EBA |
ctrlnum | (OCoLC)982287933 |
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 13 |
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>03422cam a2200637 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn982287933</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">170413s2016 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">UIU</subfield><subfield code="d">OCLCF</subfield><subfield code="d">MERER</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">U3W</subfield><subfield code="d">COO</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">982225958</subfield><subfield code="a">982343555</subfield><subfield code="a">982401469</subfield><subfield code="a">982415798</subfield><subfield code="a">982506725</subfield><subfield code="a">982512901</subfield><subfield code="a">982634371</subfield><subfield code="a">982779197</subfield><subfield code="a">982887816</subfield><subfield code="a">982918739</subfield><subfield code="a">983031011</subfield><subfield code="a">983097089</subfield><subfield code="a">983134142</subfield><subfield code="a">983238425</subfield><subfield code="a">983280134</subfield><subfield code="a">983317903</subfield><subfield code="a">983487037</subfield><subfield code="a">983529448</subfield><subfield code="a">983664258</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316754825</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316754820</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316749036</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316749037</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316717110</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316717119</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1107168244</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781107168244</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)982287933</subfield><subfield code="z">(OCoLC)982225958</subfield><subfield code="z">(OCoLC)982343555</subfield><subfield code="z">(OCoLC)982401469</subfield><subfield code="z">(OCoLC)982415798</subfield><subfield code="z">(OCoLC)982506725</subfield><subfield code="z">(OCoLC)982512901</subfield><subfield code="z">(OCoLC)982634371</subfield><subfield code="z">(OCoLC)982779197</subfield><subfield code="z">(OCoLC)982887816</subfield><subfield code="z">(OCoLC)982918739</subfield><subfield code="z">(OCoLC)983031011</subfield><subfield code="z">(OCoLC)983097089</subfield><subfield code="z">(OCoLC)983134142</subfield><subfield code="z">(OCoLC)983238425</subfield><subfield code="z">(OCoLC)983280134</subfield><subfield code="z">(OCoLC)983317903</subfield><subfield code="z">(OCoLC)983487037</subfield><subfield code="z">(OCoLC)983529448</subfield><subfield code="z">(OCoLC)983664258</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.62</subfield><subfield code="b">.H56 2016</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hinman, Peter G.,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recursion-theoretic hierarchies /</subfield><subfield code="c">Peter G. Hinman.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, United Kingdom :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Perspectives in mathematical logic</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The theory set out in this book results from the meeting of descriptive set theory and recursion theory.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed April 18, 2017).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Recursion theory</subfield><subfield code="x">Hierarchies.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85112013</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la récursivité</subfield><subfield code="x">Hiérarchies.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursion theory</subfield><subfield code="x">Hierarchies</subfield><subfield code="2">fast</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Recursion-theoretic hierarchies (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGtQx4Ck7Qyy3YbrXgKXtX</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Hinman, Peter G.</subfield><subfield code="t">Recursion-theoretic hierarchies.</subfield><subfield code="d">Cambridge, United Kingdom : Cambridge University Press, [2016]</subfield><subfield code="z">1107168244</subfield><subfield code="z">9781107168244</subfield><subfield code="w">(OCoLC)960033159</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Perspectives in mathematical logic.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475802</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH34211160</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH32658270</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH32616521</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL4812306</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1475802</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis38009344</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">14007747</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">14008059</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">13972502</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
id | ZDB-4-EBA-ocn982287933 |
illustrated | Illustrated |
indexdate | 2024-11-27T13:27:47Z |
institution | BVB |
isbn | 9781316754825 1316754820 9781316749036 1316749037 9781316717110 1316717119 |
language | English |
oclc_num | 982287933 |
open_access_boolean | |
owner | MAIN DE-863 DE-BY-FWS |
owner_facet | MAIN DE-863 DE-BY-FWS |
physical | 1 online resource : illustrations |
psigel | ZDB-4-EBA |
publishDate | 2016 |
publishDateSearch | 2016 |
publishDateSort | 2016 |
publisher | Cambridge University Press, |
record_format | marc |
series | Perspectives in mathematical logic. |
series2 | Perspectives in mathematical logic |
spelling | Hinman, Peter G., author. Recursion-theoretic hierarchies / Peter G. Hinman. Cambridge, United Kingdom : Cambridge University Press, [2016] ©2016 1 online resource : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Perspectives in mathematical logic The theory set out in this book results from the meeting of descriptive set theory and recursion theory. Includes bibliographical references and index. Online resource; title from PDF title page (EBSCO, viewed April 18, 2017). Recursion theory Hierarchies. http://id.loc.gov/authorities/subjects/sh85112013 Théorie de la récursivité Hiérarchies. MATHEMATICS General. bisacsh Recursion theory Hierarchies fast has work: Recursion-theoretic hierarchies (Text) https://id.oclc.org/worldcat/entity/E39PCGtQx4Ck7Qyy3YbrXgKXtX https://id.oclc.org/worldcat/ontology/hasWork Print version: Hinman, Peter G. Recursion-theoretic hierarchies. Cambridge, United Kingdom : Cambridge University Press, [2016] 1107168244 9781107168244 (OCoLC)960033159 Perspectives in mathematical logic. FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475802 Volltext |
spellingShingle | Hinman, Peter G. Recursion-theoretic hierarchies / Perspectives in mathematical logic. Recursion theory Hierarchies. http://id.loc.gov/authorities/subjects/sh85112013 Théorie de la récursivité Hiérarchies. MATHEMATICS General. bisacsh Recursion theory Hierarchies fast |
subject_GND | http://id.loc.gov/authorities/subjects/sh85112013 |
title | Recursion-theoretic hierarchies / |
title_auth | Recursion-theoretic hierarchies / |
title_exact_search | Recursion-theoretic hierarchies / |
title_full | Recursion-theoretic hierarchies / Peter G. Hinman. |
title_fullStr | Recursion-theoretic hierarchies / Peter G. Hinman. |
title_full_unstemmed | Recursion-theoretic hierarchies / Peter G. Hinman. |
title_short | Recursion-theoretic hierarchies / |
title_sort | recursion theoretic hierarchies |
topic | Recursion theory Hierarchies. http://id.loc.gov/authorities/subjects/sh85112013 Théorie de la récursivité Hiérarchies. MATHEMATICS General. bisacsh Recursion theory Hierarchies fast |
topic_facet | Recursion theory Hierarchies. Théorie de la récursivité Hiérarchies. MATHEMATICS General. Recursion theory Hierarchies |
url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475802 |
work_keys_str_mv | AT hinmanpeterg recursiontheoretichierarchies |