skip to content
Computability : an introduction to recursive function theory Preview this item
ClosePreview this item
Checking...

Computability : an introduction to recursive function theory

Author: Nigel Cutland
Publisher: Cambridge (GB) ; New York ; Melbourne : Cambridge University Press, 1980.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

What can computers do in principle? What are their inherent theoretical limitations? The theoretical framework which enables such questions to be answered has been developed over the last fifty years  Read more...

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

Document Type: Book
All Authors / Contributors: Nigel Cutland
ISBN: 0521223849 9780521223843 0521294657 9780521294652
OCLC Number: 489888315
Description: 1 v. (X-251 p.) : figure ; 24 cm
Contents: Exercices.
Responsibility: Nigel Cutland ...

Reviews

Editorial reviews

Publisher Synopsis

"Dr. Cutland has produced here an excellent and much needed textbook which will undoubtedly help to establish recursion theory as a more widely taught branch of mainstream mathematics." Mathematics Read more...

 
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/489888315> # Computability an introduction to recursive function theory
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "489888315" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/291869516#Place/melbourne> ; # Melbourne
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/291869516#Place/cambridge_gb> ; # Cambridge (GB)
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/calculabilite> ; # calculabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_calculables_fonctions_recursives> ; # fonctions calculables--fonctions récursives
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/decidabilite> ; # décidabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/calculabilite_fonctions_recursives> ; # calculabilité--fonctions récursives
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonction_recursive> ; # fonction récursive
    schema:about <http://dewey.info/class/519.4/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/theorie_de_la_recursivite> ; # Théorie de la récursivité
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_calculables> ; # Fonctions calculables
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/theorie_recursivite> ; # théorie récursivité
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/complexite_calcul> ; # complexité calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/recursivite_theorie_de_la> ; # Récursivité, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_recursives_informatique> ; # Fonctions récursives--Informatique
    schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
    schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonction_calcul> ; # fonction calcul
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/84578411> ; # Nigel Cutland
    schema:datePublished "1980" ;
    schema:description "Exercices." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/291869516> ;
    schema:inLanguage "en" ;
    schema:name "Computability an introduction to recursive function theory" ;
    schema:productID "489888315" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/489888315#PublicationEvent/cambridge_gb_new_york_melbourne_cambridge_university_press_1980> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/291869516#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:workExample <http://worldcat.org/isbn/9780521223843> ;
    schema:workExample <http://worldcat.org/isbn/9780521294652> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/489888315> ;
    .


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/291869516#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Place/cambridge_gb> # Cambridge (GB)
    a schema:Place ;
    schema:name "Cambridge (GB)" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/calculabilite_fonctions_recursives> # calculabilité--fonctions récursives
    a schema:Intangible ;
    schema:name "calculabilité--fonctions récursives" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/complexite_calcul> # complexité calcul
    a schema:Intangible ;
    schema:name "complexité calcul" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_calculables_fonctions_recursives> # fonctions calculables--fonctions récursives
    a schema:Intangible ;
    schema:name "fonctions calculables--fonctions récursives" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_recursives_informatique> # Fonctions récursives--Informatique
    a schema:Intangible ;
    schema:name "Fonctions récursives--Informatique" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/theorie_recursivite> # théorie récursivité
    a schema:Intangible ;
    schema:name "théorie récursivité" ;
    .

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

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

<http://viaf.org/viaf/84578411> # Nigel Cutland
    a schema:Person ;
    schema:birthDate "1944" ;
    schema:deathDate "" ;
    schema:familyName "Cutland" ;
    schema:givenName "Nigel" ;
    schema:name "Nigel Cutland" ;
    .

<http://worldcat.org/isbn/9780521223843>
    a schema:ProductModel ;
    schema:isbn "0521223849" ;
    schema:isbn "9780521223843" ;
    .

<http://worldcat.org/isbn/9780521294652>
    a schema:ProductModel ;
    schema:isbn "0521294657" ;
    schema:isbn "9780521294652" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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