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://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/139806980> ; # American Mathematical Society.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/364444683#Person/nerode_anil_1932> ; # Anil Nerode
   schema:contributor <http://experiment.worldcat.org/entity/work/data/364444683#Person/shore_richard_a_1946> ; # Richard A. Shore
   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%5Fatt%5F2=simple%5Fviewer> ;
   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#Person/nerode_anil_1932> # Anil Nerode
    a schema:Person ;
   schema:birthDate "1932" ;
   schema:familyName "Nerode" ;
   schema:givenName "Anil" ;
   schema:name "Anil Nerode" ;
    .

<http://experiment.worldcat.org/entity/work/data/364444683#Person/shore_richard_a_1946> # Richard A. Shore
    a schema:Person ;
   schema:birthDate "1946" ;
   schema:familyName "Shore" ;
   schema:givenName "Richard A." ;
   schema:name "Richard A. Shore" ;
    .

<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/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/139806980> # 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://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.