skip to content
Recursion theory : computational aspects of definability Preview this item
ClosePreview this item
Checking...

Recursion theory : computational aspects of definability

Author: C -T Chong; Liang Yu, (Professor of mathematics)
Publisher: Berlin ; Boston : De Gruyter, [2015] ©2015
Series: De Gruyter series in logic and its applications, volume 8.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

Focusing on structure theory, hyperarithmetic determinacy and rigidity, basis theorems, independence results on Turing degrees, this monograph presents recursion theory from a generalized and largely  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: C -T Chong; Liang Yu, (Professor of mathematics)
ISBN: 9783110275643 3110275643
OCLC Number: 987331210
Description: 1 online resource (1 volume) : illustrations.
Series Title: De Gruyter series in logic and its applications, volume 8.
Responsibility: Chi Tat Chong, Liang Yu.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/987331210> # Recursion theory : computational aspects of definability
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "987331210" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2206583814#Topic/recursion_theory> ; # Recursion theory
   schema:author <http://experiment.worldcat.org/entity/work/data/2206583814#Person/chong_c_t_chi_tat_1949> ; # Chi-Tat Chong
   schema:author <http://experiment.worldcat.org/entity/work/data/2206583814#Person/yu_liang_professor_of_mathematics> ; # (Professor of mathematics) Liang Yu
   schema:bookFormat schema:EBook ;
   schema:datePublished "2015" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2206583814> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2206583814#Series/de_gruyter_series_in_logic_and_its_applications> ; # De Gruyter series in logic and its applications ;
   schema:name "Recursion theory : computational aspects of definability"@en ;
   schema:productID "987331210" ;
   schema:url <http://proquest.safaribooksonline.com/?fpi=9783110381290> ;
   schema:workExample <http://worldcat.org/isbn/9783110275643> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/987331210> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2206583814#Person/chong_c_t_chi_tat_1949> # Chi-Tat Chong
    a schema:Person ;
   schema:birthDate "1949" ;
   schema:familyName "Chong" ;
   schema:givenName "Chi-Tat" ;
   schema:givenName "C.-T" ;
   schema:name "Chi-Tat Chong" ;
    .

<http://experiment.worldcat.org/entity/work/data/2206583814#Person/yu_liang_professor_of_mathematics> # (Professor of mathematics) Liang Yu
    a schema:Person ;
   schema:familyName "Yu" ;
   schema:givenName "Liang" ;
   schema:name "(Professor of mathematics) Liang Yu" ;
    .

<http://experiment.worldcat.org/entity/work/data/2206583814#Series/de_gruyter_series_in_logic_and_its_applications> # De Gruyter series in logic and its applications ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/987331210> ; # Recursion theory : computational aspects of definability
   schema:name "De Gruyter series in logic and its applications ;" ;
    .

<http://worldcat.org/isbn/9783110275643>
    a schema:ProductModel ;
   schema:isbn "3110275643" ;
   schema:isbn "9783110275643" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.