Recursion theory: its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being 'computable' by idealized machines. The theory grew out of, and is usually still regar...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
1980
|
| Series: | London Mathematical Society lecture note series
45 |
| Subjects: | |
| Online Access: | BSB01 FHN01 Volltext |
| Summary: | Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being 'computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR) |
| Item Description: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Physical Description: | 1 online resource (319 pages) |
| ISBN: | 9780511629181 |
| DOI: | 10.1017/CBO9780511629181 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043946001 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s1980 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511629181 |c Online |9 978-0-511-62918-1 | ||
| 024 | 7 | |a 10.1017/CBO9780511629181 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511629181 | ||
| 035 | |a (OCoLC)967605837 | ||
| 035 | |a (DE-599)BVBBV043946001 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3 |2 19eng | |
| 084 | |a SD 1979 |0 (DE-625)142713: |2 rvk | ||
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 110 | 2 | |a Logic Colloquium <1979, Leeds, Yorkshire> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Recursion theory |b its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 |c edited by F.R. Drake and S.S. Wainer |
| 246 | 1 | 3 | |a Recursion Theory, its Generalisations & Applications |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1980 | |
| 300 | |a 1 online resource (319 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society lecture note series |v 45 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 520 | |a Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being 'computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR) | ||
| 650 | 4 | |a Recursion theory / Congresses | |
| 650 | 4 | |a Recursive functions / Congresses | |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Drake, F. R. |4 edt | |
| 700 | 1 | |a Wainer, S. S. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-23543-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511629181 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029354972 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511629181 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511629181 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804176892797911040 |
|---|---|
| any_adam_object | |
| author2 | Drake, F. R. Wainer, S. S. |
| author2_role | edt edt |
| author2_variant | f r d fr frd s s w ss ssw |
| author_corporate | Logic Colloquium <1979, Leeds, Yorkshire> |
| author_corporate_role | aut |
| author_facet | Drake, F. R. Wainer, S. S. Logic Colloquium <1979, Leeds, Yorkshire> |
| author_sort | Logic Colloquium <1979, Leeds, Yorkshire> |
| building | Verbundindex |
| bvnumber | BV043946001 |
| classification_rvk | SD 1979 SI 320 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9780511629181 (OCoLC)967605837 (DE-599)BVBBV043946001 |
| 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.1017/CBO9780511629181 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03138nmm a2200529zcb4500</leader><controlfield tag="001">BV043946001</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s1980 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511629181</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-62918-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511629181</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511629181</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967605837</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043946001</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19eng</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1979</subfield><subfield code="0">(DE-625)142713:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium <1979, Leeds, Yorkshire></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recursion theory</subfield><subfield code="b">its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979</subfield><subfield code="c">edited by F.R. Drake and S.S. Wainer</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Recursion Theory, its Generalisations & Applications</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (319 pages)</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">London Mathematical Society lecture note series</subfield><subfield code="v">45</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being 'computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursion theory / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</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="700" ind1="1" ind2=" "><subfield code="a">Drake, F. R.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wainer, S. S.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-23543-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511629181</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029354972</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511629181</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511629181</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043946001 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:24Z |
| institution | BVB |
| isbn | 9780511629181 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029354972 |
| oclc_num | 967605837 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (319 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | Logic Colloquium <1979, Leeds, Yorkshire> Verfasser aut Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 edited by F.R. Drake and S.S. Wainer Recursion Theory, its Generalisations & Applications Cambridge Cambridge University Press 1980 1 online resource (319 pages) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 45 Title from publisher's bibliographic system (viewed on 05 Oct 2015) Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being 'computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR) Recursion theory / Congresses Recursive functions / Congresses Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Rekursionstheorie (DE-588)4122329-9 s 1\p DE-604 Drake, F. R. edt Wainer, S. S. edt Erscheint auch als Druckausgabe 978-0-521-23543-3 https://doi.org/10.1017/CBO9780511629181 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 Recursion theory / Congresses Recursive functions / Congresses Rekursionstheorie (DE-588)4122329-9 gnd |
| subject_GND | (DE-588)4122329-9 (DE-588)1071861417 |
| title | Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 |
| title_alt | Recursion Theory, its Generalisations & Applications |
| title_auth | Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 |
| title_exact_search | Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 |
| title_full | Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 edited by F.R. Drake and S.S. Wainer |
| title_fullStr | Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 edited by F.R. Drake and S.S. Wainer |
| title_full_unstemmed | Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 edited by F.R. Drake and S.S. Wainer |
| title_short | Recursion theory |
| title_sort | recursion theory its generalisations and applications proceedings of logic colloquium 79 leeds august 1979 |
| title_sub | its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 |
| topic | Recursion theory / Congresses Recursive functions / Congresses Rekursionstheorie (DE-588)4122329-9 gnd |
| topic_facet | Recursion theory / Congresses Recursive functions / Congresses Rekursionstheorie Konferenzschrift |
| url | https://doi.org/10.1017/CBO9780511629181 |
| work_keys_str_mv | AT logiccolloquium1979leedsyorkshire recursiontheoryitsgeneralisationsandapplicationsproceedingsoflogiccolloquium79leedsaugust1979 AT drakefr recursiontheoryitsgeneralisationsandapplicationsproceedingsoflogiccolloquium79leedsaugust1979 AT wainerss recursiontheoryitsgeneralisationsandapplicationsproceedingsoflogiccolloquium79leedsaugust1979 AT logiccolloquium1979leedsyorkshire recursiontheoryitsgeneralisationsapplications AT drakefr recursiontheoryitsgeneralisationsapplications AT wainerss recursiontheoryitsgeneralisationsapplications |