skip to content
Theory of recursive functions and effective computability. Preview this item
ClosePreview this item
Checking...

Theory of recursive functions and effective computability.

Author: Hartley Rogers, Jr.
Publisher: New York : McGraw-Hill, [1967]
Series: McGraw-Hill series in higher mathematics.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Rogers, H. (Hartley), 1926-
Theory of recursive functions and effective computability.
New York, McGraw-Hill [1967]
(OCoLC)559483934
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Hartley Rogers, Jr.
OCLC Number: 527706
Notes: "A portion of the material ... appeared, in somewhat different order and form, as Theory of recursive functions and effective computability, volume I ... in 1957."
Description: xix, 482 pages illustrations 23 cm.
Contents: 1. Recursive functions --
2. Unsolvable problems --
3. Purposes: summary --
4. Recursive invariance --
5. Recursive and recursively enumerable sets --
6. Reducibilities --
7. One-one reducibility; many-one reducibility; creative sets --
8. Truth-table reducibilities; simple sets --
9. Turing reducibility; hypersimple sets --
10. Post's problem; incomplete sets --
11. The recursion theorem --
12. Recursively enumerable sets as a lattice --
13. Degrees of solvability --
14. The arithmetical hierarchy (part 1) --
15. The arithmetical hierarchy (part 2) --
16. The analytical hierarchy.
Series Title: McGraw-Hill series in higher mathematics.

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/527706> # Theory of recursive functions and effective computability.
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "527706" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/algorithmes> ; # Algorithmes
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/recursieve_functies> ; # Recursieve functies
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/fonctions_calculables> ; # Fonctions calculables
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/fonction_analytique> ; # fonction analytique
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/hierarchie> ; # hiérarchie
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/reductibilite> ; # réductibilité
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/arithmetique> ; # arithmétique
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/fonction_recursive> ; # fonction récursive
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/recursivite_theorie_de_la> ; # Récursivité, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/1536039#Topic/fonctions_recursives> ; # Fonctions récursives
    schema:author <http://experiment.worldcat.org/entity/work/data/1536039#Person/rogers_hartley_jr_1926_2015> ; # Jr. Hartley Rogers
    schema:bookFormat bgn:PrintBook ;
    schema:datePublished "1967" ;
    schema:description "1. Recursive functions -- 2. Unsolvable problems -- 3. Purposes: summary -- 4. Recursive invariance -- 5. Recursive and recursively enumerable sets -- 6. Reducibilities -- 7. One-one reducibility; many-one reducibility; creative sets -- 8. Truth-table reducibilities; simple sets -- 9. Turing reducibility; hypersimple sets -- 10. Post's problem; incomplete sets -- 11. The recursion theorem -- 12. Recursively enumerable sets as a lattice -- 13. Degrees of solvability -- 14. The arithmetical hierarchy (part 1) -- 15. The arithmetical hierarchy (part 2) -- 16. The analytical hierarchy."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1536039> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1536039#Series/mcgraw_hill_series_in_higher_mathematics> ; # McGraw-Hill series in higher mathematics.
    schema:isSimilarTo <http://www.worldcat.org/oclc/559483934> ;
    schema:name "Theory of recursive functions and effective computability."@en ;
    schema:productID "527706" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/527706#PublicationEvent/new_york_mcgraw_hill_1967> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1536039#Agent/mcgraw_hill> ; # McGraw-Hill
    schema:url <http://www.gbv.de/dms/hbz/toc/ht000780478.pdf> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB6802939> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/527706> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1536039#Agent/mcgraw_hill> # McGraw-Hill
    a bgn:Agent ;
    schema:name "McGraw-Hill" ;
    .

<http://experiment.worldcat.org/entity/work/data/1536039#Person/rogers_hartley_jr_1926_2015> # Jr. Hartley Rogers
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:deathDate "2015," ;
    schema:familyName "Rogers" ;
    schema:givenName "Hartley" ;
    schema:name "Jr. Hartley Rogers" ;
    .

<http://experiment.worldcat.org/entity/work/data/1536039#Series/mcgraw_hill_series_in_higher_mathematics> # McGraw-Hill series in higher mathematics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/527706> ; # Theory of recursive functions and effective computability.
    schema:name "McGraw-Hill series in higher mathematics." ;
    schema:name "McGraw-Hill series in higher mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/1536039#Topic/fonction_analytique> # fonction analytique
    a schema:Intangible ;
    schema:name "fonction analytique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1536039#Topic/fonction_recursive> # fonction récursive
    a schema:Intangible ;
    schema:name "fonction récursive"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1536039#Topic/fonctions_calculables> # Fonctions calculables
    a schema:Intangible ;
    schema:name "Fonctions calculables"@en ;
    schema:name "Fonctions calculables"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1536039#Topic/fonctions_recursives> # Fonctions récursives
    a schema:Intangible ;
    schema:name "Fonctions récursives"@en ;
    schema:name "Fonctions récursives"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1536039#Topic/recursieve_functies> # Recursieve functies
    a schema:Intangible ;
    schema:name "Recursieve functies"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1536039#Topic/reductibilite> # réductibilité
    a schema:Intangible ;
    schema:name "réductibilité"@en ;
    .

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

<http://www.worldcat.org/oclc/559483934>
    a schema:CreativeWork ;
    rdfs:label "Theory of recursive functions and effective computability." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/527706> ; # Theory of recursive functions and effective computability.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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