skip to content
Enumerability, decidability, computability; an introduction to the theory of recursive functions Preview this item
ClosePreview this item
Checking...

Enumerability, decidability, computability; an introduction to the theory of recursive functions

Author: Hans Hermes
Publisher: Berlin, New York, Springer-Verlag, 1965.
Series: Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. 127.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Einführung
Additional Physical Format: Online version:
Hermes, Hans.
Enumerability, decidability, computability.
Berlin, New York, Springer-Verlag, 1965
(OCoLC)644647036
Document Type: Book
All Authors / Contributors: Hans Hermes
OCLC Number: 527054
Description: ix, 245 pages illustrations 24 cm.
Series Title: Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. 127.
Other Titles: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Responsibility: by Hans Hermes. Translated by G.T Herman and O. Plassmann.

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/527054> # Enumerability, decidability, computability; an introduction to the theory of recursive functions
    a schema:Book, schema:CreativeWork ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/527054#CreativeWork/unidentifiedOriginalWork> ; # Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
    library:oclcnum "527054" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1216677#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/godel_s_theorem> ; # Gödel's theorem
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/fonctions_recursives> ; # Fonctions récursives
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/entscheidbarkeit> ; # Entscheidbarkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/logique> ; # Logique
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/recursive_functions> ; # Recursive functions
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/aufzahlbarkeit> ; # Aufzählbarkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/algorithmentheorie> ; # Algorithmentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/computable_functions> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/algorithms> ; # Algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/mathematiques> ; # Mathématiques
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/berechenbarkeit> ; # Berechenbarkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/1216677#Topic/rekursive_funktion> ; # Rekursive Funktion
    schema:about <http://dewey.info/class/164/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1216677#Person/hermes_hans> ; # Hans Hermes
    schema:datePublished "1965" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1216677> ; # Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
    schema:genre "Einführung"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1216677#Series/grundlehren_der_mathematischen_wissenschaften_in_einzeldarstellungen_mit_besonderer_berucksichtigung_der_anwendungsgebiete> ; # Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1216677#Series/die_grundlehren_der_mathematischen_wissenschaften_in_einzeldarstellungen> ; # Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen,
    schema:isSimilarTo <http://www.worldcat.org/oclc/644647036> ;
    schema:name "Enumerability, decidability, computability; an introduction to the theory of recursive functions"@en ;
    schema:productID "527054" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/527054#PublicationEvent/berlin_new_york_springer_verlag_1965> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1216677#Agent/springer_verlag> ; # Springer-Verlag
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/527054> ;
    .


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/1216677#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Person/hermes_hans> # Hans Hermes
    a schema:Person ;
    schema:familyName "Hermes" ;
    schema:givenName "Hans" ;
    schema:name "Hans Hermes" ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Series/die_grundlehren_der_mathematischen_wissenschaften_in_einzeldarstellungen> # Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/527054> ; # Enumerability, decidability, computability; an introduction to the theory of recursive functions
    schema:name "Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen," ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Series/grundlehren_der_mathematischen_wissenschaften_in_einzeldarstellungen_mit_besonderer_berucksichtigung_der_anwendungsgebiete> # Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/527054> ; # Enumerability, decidability, computability; an introduction to the theory of recursive functions
    schema:name "Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Topic/algorithmentheorie> # Algorithmentheorie
    a schema:Intangible ;
    schema:name "Algorithmentheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Topic/aufzahlbarkeit> # Aufzählbarkeit
    a schema:Intangible ;
    schema:name "Aufzählbarkeit"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Topic/computable_functions> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Topic/entscheidbarkeit> # Entscheidbarkeit
    a schema:Intangible ;
    schema:name "Entscheidbarkeit"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1216677#Topic/godel_s_theorem> # Gödel's theorem
    a schema:Intangible ;
    schema:name "Gödel's theorem"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Topic/recursive_functions> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1216677#Topic/rekursive_funktion> # Rekursive Funktion
    a schema:Intangible ;
    schema:name "Rekursive Funktion"@en ;
    .

<http://worldcat.org/entity/work/id/1216677> # Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
    schema:name "Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit." ;
    .

<http://www.worldcat.org/oclc/644647036>
    a schema:CreativeWork ;
    rdfs:label "Enumerability, decidability, computability." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/527054> ; # Enumerability, decidability, computability; an introduction to the theory of recursive functions
    .

<http://www.worldcat.org/title/-/oclc/527054>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/527054> ; # Enumerability, decidability, computability; an introduction to the theory of recursive functions
    schema:dateModified "2017-03-07" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/527054#CreativeWork/unidentifiedOriginalWork> # Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
    a schema:CreativeWork ;
    schema:inLanguage "de" ;
    schema:name "Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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