skip to content
Recursion theory Preview this item
ClosePreview this item
Checking...

Recursion theory

Author: Anil Nerode; Richard A Shore; American Mathematical Society.; Association for Symbolic Logic.
Publisher: Providence, R.I. : American Mathematical Society, 1985.
Series: Proceedings of symposia in pure mathematics, v. 42.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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

Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Anil Nerode; Richard A Shore; American Mathematical Society.; Association for Symbolic Logic.
ISBN: 0821814478 9780821814475
OCLC Number: 11090618
Notes: "Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--Title page verso.
Description: vii, 528 pages : illustrations ; 27 cm.
Series Title: Proceedings of symposia in pure mathematics, v. 42.
Responsibility: [edited by Anil Nerode, Richard A. Shore].

Reviews

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

Tags

Be the first.
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/11090618> # Recursion theory
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "11090618" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/364444683#Place/providence_r_i> ; # Providence, R.I.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/364444683#Topic/logica_matematica> ; # Logica Matematica
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/364444683#Topic/recursivite_theorie_de_la> ; # Récursivité, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/364444683#Topic/recursion_theory> ; # Recursion theory
    schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/51781431> ; # Richard A. Shore
    schema:contributor <http://viaf.org/viaf/134278902> ; # American Mathematical Society.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/364444683#Meeting/ams_asl_summer_institute_on_recursion_theory_1982_cornell_university> ; # AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University)
    schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
    schema:contributor <http://viaf.org/viaf/56701872> ; # Anil Nerode
    schema:datePublished "1985" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/364444683> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/364444683#Series/proceedings_of_symposia_in_pure_mathematics> ; # Proceedings of symposia in pure mathematics ;
    schema:name "Recursion theory"@en ;
    schema:productID "11090618" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/11090618#PublicationEvent/providence_r_i_american_mathematical_society_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/364444683#Agent/american_mathematical_society> ; # American Mathematical Society
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1893974&custom_att_2=simple_viewer> ;
    schema:workExample <http://worldcat.org/isbn/9780821814475> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/11090618> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/364444683#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
    schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/364444683#Meeting/ams_asl_summer_institute_on_recursion_theory_1982_cornell_university> # AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/364444683#Place/cornell_university> ; # Cornell University)
    schema:name "AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/364444683#Place/cornell_university> # Cornell University)
    a schema:Place ;
    schema:name "Cornell University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/364444683#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
    schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/364444683#Series/proceedings_of_symposia_in_pure_mathematics> # Proceedings of symposia in pure mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/11090618> ; # Recursion theory
    schema:name "Proceedings of symposia in pure mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/364444683#Topic/logica_matematica> # Logica Matematica
    a schema:Intangible ;
    schema:name "Logica Matematica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/364444683#Topic/recursivite_theorie_de_la> # Récursivité, Théorie de la
    a schema:Intangible ;
    schema:name "Récursivité, Théorie de la"@fr ;
    .

<http://id.worldcat.org/fast/1091982> # Recursion theory
    a schema:Intangible ;
    schema:name "Recursion theory"@en ;
    .

<http://viaf.org/viaf/134278902> # American Mathematical Society.
    a schema:Organization ;
    schema:name "American Mathematical Society." ;
    .

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
    schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/51781431> # Richard A. Shore
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Shore" ;
    schema:givenName "Richard A." ;
    schema:name "Richard A. Shore" ;
    .

<http://viaf.org/viaf/56701872> # Anil Nerode
    a schema:Person ;
    schema:birthDate "1932" ;
    schema:familyName "Nerode" ;
    schema:givenName "Anil" ;
    schema:name "Anil Nerode" ;
    .

<http://worldcat.org/isbn/9780821814475>
    a schema:ProductModel ;
    schema:isbn "0821814478" ;
    schema:isbn "9780821814475" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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